Cover Image

Mathematical Logic /

Show other versions (2)

This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In an...

Full description

Bibliographic Details
Main Authors: Ebbinghaus, Heinz-Dieter (Author), Flum, Jörg (Author), Thomas, Wolfgang (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:3rd ed. 2021.
Series:Graduate Texts in Mathematics, 291
Subjects:
Mathematical logic.
Computer science-Mathematics.
Mathematical Logic and Foundations.
Mathematics of Computing.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • A
  • I Introduction
  • II Syntax of First-Order Languages
  • III Semantics of First-Order Languages
  • IV A Sequent Calculus
  • V The Completeness Theorem
  • VI The Löwenheim-Skolem and the Compactness Theorem
  • VII The Scope of First-Order Logic
  • VIII Syntactic Interpretations and Normal Forms
  • B
  • IX Extensions of First-Order Logic
  • X Computability and Its Limitations
  • XI Free Models and Logic Programming
  • XII An Algebraic Characterization of Elementary Equivalence
  • XIII Lindström's Theorems
  • References
  • List of Symbols
  • Subject Index.