Buy print copy
Keywords
- CON_D026
- Logic
- Mathematische Logik
- adopted-textbook NY
About this book
This careful, self-contained introduction to first-order logic includes an exposition of certain topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, and Lindström's theorem on the maximality of first-order logic). The presentation is detailed and systematic without being long-winded or tedious. The role of first-order logic in the foundations of mathematics is worked out clearly, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. Many exercises accompany the text.
Bibliographic Information
Book Title: Mathematical Logic
Authors: H.-D. Ebbinghaus, J. Flum, W. Thomas
Series Title: Undergraduate Texts in Mathematics
Publisher: Springer New York, NY
Copyright Information: Springer-Verlag New York 1984
Softcover ISBN: 978-0-387-96170-5Due: 15 July 1985
Series ISSN: 0172-6056
Series E-ISSN: 2197-5604
Edition Number: 1
Number of Pages: IX, 216
Number of Illustrations: 1 b/w illustrations
Additional Information: Original German edition published by Wiss. Buchgesellschaft, Darmstadt 1978