Mathematical Logic
Springer (Publisher)
Will be published approx. on 15. July 1985
Book
Paperback/Softback
IX, 216 pages
978-0-387-96170-5 (ISBN)
Description
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.
More details
Series
Edition
1984. 2nd Printing 1985 ed.
Language
English
Place of publication
New York
United States
Target group
Professional and scholarly
Research
Product notice
Paperback (trade)
Unsewn / adhesive bound
Illustrations
1 s/w Abbildung
IX, 216 p. 1 illus.
Dimensions
Height: 0 mm
Width: 0 mm
ISBN-13
978-0-387-96170-5 (9780387961705)
Schweitzer Classification
Other editions
Additional editions
Heinz-Dieter Ebbinghaus | H. -D Ebbinghaus | J. Flum
Mathematical Logic
Book
02/1990
Springer
€33.12
Article exhausted; check different version
Persons
Content
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.