Mathematical Logic, 2/e (Hardcover)

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

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

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

商品描述

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.