Mathematical Logic (Undergraduate Texts in Mathematics)

Mathematical Logic (Undergraduate Texts in Mathematics) image
ISBN-10:

1475723571

ISBN-13:

9781475723571

Author(s): Ebbinghaus, H.D.
Edition: 2nd ed. 1994. Softcover reprint of the original 2nd ed. 1994
Released: Jan 01, 2012
Publisher: Springer
Format: Paperback, 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.

Low Price Summary






Top Bookstores


























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

DISCLOSURE: We're an eBay Partner Network affiliate and we earn commissions from purchases you make on eBay via one of the links above.

Want a Better Price Offer?

Set a price alert and get notified when the book starts selling at your price.

Want to Report a Pricing Issue?

Let us know about the pricing issue you've noticed so that we can fix it.