ISBN is

978-0-387-94258-2 / 9780387942582

Mathematical Logic (Undergraduate Texts in Mathematics)

by

Publisher:Springer

Edition:Hardcover

Language:English

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 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.

Search under way...

Search complete.

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

New books: 1 - 25 of 53

   

Used books: 1 - 25 of 80


Book rentals: