书目
消息
首页
搜索
购物车
Mathematical Logic
作者
H.-D. Ebbinghaus
J. Flum
W. Thomas
出版社
Springer
出版时间
1996年11月
ISBN
9780387942582
内容简介
Thisintroductiontofirst-orderlogicclearlyworksouttheroleoffirst-orderlogicinthefoundationsofmathematics,particularlythetwobasicquestionsoftherangeoftheaxiomaticmethodandoftheorem-provingbymachines.Itcoversseveraladvan
— END —