Mathematical logic

Mathematical logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas.

"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?...

Full description

Saved in:
Bibliographic Details
Main Authors: Ebbinghaus, Heinz-Dieter, 1939- (Author), Flum, Jörg (Author), Thomas, Wolfgang, 1947- (Author)
Format: Book
Language:English
German
Published: Cham, Switzerland : Springer, [2021]
Edition:Third edition.
Series:Graduate texts in mathematics ; 291.
Subjects:
Logic, Symbolic and mathematical.
Uniform Title:Einführung in die mathematische Logik.
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.

Similar Items