Get Free Shipping on orders over $79
Mathematical Logic : Undergraduate Texts in Mathematics - H.-D. Ebbinghaus

Mathematical Logic

By: H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas

Hardcover | 1 December 1996 | Edition Number 2

Sorry, we are not able to source the book you are looking for right now.

We did a search for other books with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your 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.

Industry Reviews

"...the book remains my text of choice for this type of material, and I highly recommend it to anyone teaching a first logic course at this level." - Journal of Symbolic Logic

More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Logic : A Very Short Introduction - Graham Priest

RRP $21.95

$16.99

23%
OFF
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
Parabolic Problems : 60 Years of Mathematical Puzzles in Parabola - David Angell
The Book of Infinity - Joel David Hamkins

RRP $160.00

$120.99

24%
OFF
Axiomatic Set Theory : An Introduction - George Tourlakis
Studia Logica : A History of the Journal - Adam Trybus