Founded in 1997, BookFinder.com has become a leading book price comparison site:
Find and compare hundreds of millions of new books, used books, rare books and out of print books from over 100,000 booksellers and 60+ websites worldwide.
Mathematical Logic (Undergraduate Texts in Mathematics)
ISBN 0387942580 / 9780387942582 / 0-387-94258-0
› Find signed collectible books: 'Mathematical Logic (Undergraduate Texts in Mathematics)'
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.[via]