Mathematical Logic, 2/e (Hardcover)
H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas
- 出版商: Springer
- 出版日期: 1996-11-15
- 售價: $3,290
- 貴賓價: $3,126
- 語言: 英文
- 頁數: 291
- 裝訂: Hardcover
- ISBN: 0387942580
- ISBN-13: 9780387942582
下單後立即進貨 (1週~2週)
買這商品的人也買了...
-
$650售價: $514 -
$620售價: $527 -
$450售價: $383 -
$750售價: $638 -
$520售價: $364 -
$650貴賓價: $514 -
$650售價: $507 -
$490售價: $417 -
$480售價: $408 -
$980售價: $774 -
$680售價: $578 -
$780售價: $663 -
$650售價: $553 -
$550售價: $468 -
$680售價: $578 -
$680售價: $578 -
$1,180售價: $1,003 -
$680售價: $537 -
$590售價: $460 -
$500售價: $450 -
$880售價: $695 -
$990貴賓價: $891 -
$550貴賓價: $435 -
$780售價: $593 -
$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.