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

At a Glance

Hardcover


$99.00

or 4 interest-free payments of $24.75 with

 or 

Ships 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

Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Current Trends in Automated Reasoning - Erika Bach
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz
Logic For Dummies : For Dummies - Mark Zegarelli

RRP $41.95

$29.37

30%
OFF
How to Prove It : A Structured Approach - Daniel J. Velleman

RRP $73.95

$70.75

Fuzzy Logic : An Introductory Text - Lukas Brooks
Modern Mathematical Logic - Agustin Willmott
Kakuro Book 2 : 200 mathematical logic puzzles - The Times Mind Games
Mathematical Puzzles : Revised Edition - Peter Winkler

RRP $60.99

$55.75