Mathematical Logic, 2/e (Hardcover)
H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas
- 出版商: Springer
- 出版日期: 1994-06-10
- 售價: $3,360
- 貴賓價: 9.5 折 $3,192
- 語言: 英文
- 頁數: 291
- 裝訂: Hardcover
- ISBN: 0387942580
- ISBN-13: 9780387942582
海外代購書籍(需單獨結帳)
買這商品的人也買了...
-
$680$578 -
$880$581 -
$680$537 -
$450$383 -
$520$199 -
$990$891 -
$1,180$1,003 -
$980$774 -
$490$417 -
$680$578 -
$650$507 -
$480$408 -
$780$663 -
$590$460 -
$780$663 -
$680$537 -
$550$495 -
$650$585 -
$500$450 -
$620$527 -
$650$514 -
$550$468 -
$750$638 -
$650$553 -
$450$383
商品描述
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.