9780387961705 / 0387961704

Mathematical Logic (Undergraduate Texts in Mathematics)


4.36 avg rating14 ratings by GoodReads

Publisher:Springer, 1985



Prices INCLUDE standard shipping to United States
Show prices without shipping
Change shipping destination/currency
Shipping prices may be approximate. Please verify cost before checkout.

About the book:

This careful, self-contained introduction to first-order logic includes an exposition of certain topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, and Lindström's theorem on the maximality of first-order logic). The presentation is detailed and systematic without being long-winded or tedious. The role of first-order logic in the foundations of mathematics is worked out clearly, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. Many exercises accompany the text.

Search under way...

Search complete.

Click on the price to find out more about a book.

New books: 1 - 2 of 2


Used books: 1 - 10 of 51