Graduate texts in mathematics ▲ Sign in to save

• Mathematical Logic

  2021 Graduate texts in mathematics book Mathematics Advanced Topology and Set Theory

  Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

  9

  citations
• Introduction

  2021 Graduate texts in mathematics book-chapter Mathematics History and Theory of Mathematics

  Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

  3

  citations
• Extensions of First-Order Logic

  2021 Graduate texts in mathematics book-chapter Mathematics Advanced Topology and Set Theory

  Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

  3

  citations
• Semantics of First-Order Languages

  2021 Graduate texts in mathematics book-chapter Mathematics Advanced Topology and Set Theory

  Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

  1

  citations
• Computability and Its Limitations

  2021 Graduate texts in mathematics book-chapter Computer Science Computability, Logic, AI Algorithms

  Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

  0

  citations
• The Scope of First-Order Logic

  2021 Graduate texts in mathematics book-chapter Mathematics Advanced Topology and Set Theory

  Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

  0

  citations
• An Algebraic Characterization of Elementary Equivalence

  2021 Graduate texts in mathematics book-chapter Mathematics Advanced Topology and Set Theory

  Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

  0

  citations
• Syntactic Interpretations and Normal Forms

  2021 Graduate texts in mathematics book-chapter Mathematics Advanced Topology and Set Theory

  Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

  0

  citations
• The Löwenheim–Skolem Theorem and the Compactness Theorem

  2021 Graduate texts in mathematics book-chapter Mathematics Advanced Topology and Set Theory

  Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

  0

  citations
• A Sequent Calculus

  2021 Graduate texts in mathematics book-chapter Computer Science Logic, programming, and type systems

  Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

  0

  citations
• The Completeness Theorem

  2021 Graduate texts in mathematics book-chapter Mathematics Advanced Topology and Set Theory

  Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

  0

  citations
• Lindström’s Theorems

  2021 Graduate texts in mathematics book-chapter Mathematics Advanced Topology and Set Theory

  Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

  0

  citations
• Free Models and Logic Programming

  2021 Graduate texts in mathematics book-chapter Computer Science Logic, programming, and type systems

  Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

  0

  citations
• Syntax of First-Order Languages

  2021 Graduate texts in mathematics book-chapter Mathematics Advanced Topology and Set Theory

  Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

  0

  citations

14 results