Mathematical Logic : Undergraduate Texts in Mathematics - H.-D. Ebbinghaus

Mathematical Logic

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

Hardcover | 1 December 1996 | Edition Number 2

At a Glance

Hardcover


$119.56

or 4 interest-free payments of $29.89 with

 or 

Aims to ship in 7 to 10 business days

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

The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
The Univalence Principle - Benedikt Ahrens

RRP $219.00

$197.25

10%
OFF
Partial Truths : How Fractions Distort Our Thinking - James C. Zimring
Polygraphs : From Rewriting to Higher Categories - Albert  Burroni
REFLECTIONS : THE MAGIC, MUSIC & MATH OF RAYMOND SMULLYAN - RAYMOND SMULLYAN
Mathematical Intelligence : What We Have that Machines Don't - Junaid Mubeen