Undergraduate Texts in Mathematics

Mathematical Logic

Authors: Ebbinghaus, H.-D., Flum, J., Thomas, W.

Buy this book

Softcover $31.00
price for USA
  • ISBN 978-0-387-96170-5
  • Free shipping for individuals worldwide
  • Currently out of stock.
About this Textbook

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.

Buy this book

Softcover $31.00
price for USA
  • ISBN 978-0-387-96170-5
  • Free shipping for individuals worldwide
  • Currently out of stock.

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematical Logic
Authors
Translated by
Ferebee, A.S.
Series Title
Undergraduate Texts in Mathematics
Copyright
1984
Publisher
Springer-Verlag New York
Copyright Holder
Springer-Verlag New York
Softcover ISBN
978-0-387-96170-5
Series ISSN
0172-6056
Edition Number
1
Number of Pages
IX, 216
Number of Illustrations and Tables
1 b/w illustrations
Additional Information
Original German edition published by Wiss. Buchgesellschaft, Darmstadt 1978
Topics