Mathematical Logic
Wolfgang Thomas author H-D Ebbinghaus author J Flum author
Format:Hardback
Publisher:Springer-Verlag New York Inc.
Published:15th Nov '96
Currently unavailable, and unfortunately no date known when it will be back
Corrected second printing
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.
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.
“…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
ISBN: 9780387942582
Dimensions: unknown
Weight: 1350g
291 pages
2nd ed. 1994. Corr. 2nd printing 1996