Logo - springer
Slogan - springer

Mathematics | Mathematical Logic

Mathematical Logic

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

Translated by Ferebee, A.S.

Original German edition published by Wiss. Buchgesellschaft, Darmstadt 1978

1st edition 1984. 2nd printing 1985, 1 fig. IX,216 pages.


Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

(net) price for USA

ISBN 978-0-387-96170-5

free shipping for individuals worldwide

Currently out of stock.

add to marked items

  • 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.

Content Level » Research

Keywords » CON_D026 - Logic - Mathematische Logik - adopted-textbook NY

Related subjects » Mathematics

Table of contents 

Contents: Introduction.- Syntax of First-Order Languages.- Semantics of First-Order Languages.- A Sequent Calculus.- The Completeness Theorem.- The Löwenheim-Skolem Theorem and the Compactness Theorem.- The Scope of First-Order Logic.- Appendix. - Extensions of First-Order Logic.- Limitations of the Formal Method.- An Algebraic Characterization of Elementary Equivalence.- Characterizing First-Order Logic.- References.- Index of Notation.- Subject Index.

Popular Content within this publication 



Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Mathematical Logic and Foundations.

Additional information