Mathematical Logic, 2/e (Hardcover)
暫譯: 數學邏輯(第二版,精裝本)

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

  • 出版商: Springer
  • 出版日期: 1994-06-10
  • 售價: $3,040
  • 貴賓價: 9.5$2,888
  • 語言: 英文
  • 頁數: 291
  • 裝訂: Hardcover
  • ISBN: 0387942580
  • ISBN-13: 9780387942582
  • 海外代購書籍(需單獨結帳)

買這商品的人也買了...

相關主題

商品描述

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.

商品描述(中文翻譯)

這本關於一階邏輯的介紹清楚地闡明了一階邏輯在數學基礎中的角色,特別是公理方法的範圍以及機器證明定理的兩個基本問題。它涵蓋了幾個在入門書籍中不常討論的進階主題,例如 Fraïssé 的基本等價性特徵、Lindström 的一階邏輯最大性定理,以及邏輯程式設計的基本原理。