Mathematical Logic, 2/e (Hardcover)

H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas

  • 出版商: Springer
  • 出版日期: 1996-11-15
  • 售價: $3,269
  • 貴賓價: 9.5$3,106
  • 語言: 英文
  • 頁數: 291
  • 裝訂: Hardcover
  • ISBN: 0387942580
  • ISBN-13: 9780387942582

下單後立即進貨 (1週~2週)


20180806 35 %e9%87%91%e5%b1%ac%e6%9b%b8%e7%b1%a4small


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.