Mathematical Logic, 2nd Edition (Undergraduate Texts in Mathematics)

Mathematical Logic, 2nd Edition (Undergraduate Texts in Mathematics) image
ISBN-10:

0387942580

ISBN-13:

9780387942582

Edition: 2nd
Released: Jun 10, 1994
Publisher: Springer
Format: Hardcover, 301 pages
to view more data

Description:

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.












We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.