Eprints of Rényi Institute

Introduction to Mathematical Logic

Csirmaz, László (2011) Introduction to Mathematical Logic. Central European University. (Unpublished)



  1. Introduction
    1. Propositional Logic (Syntax, Compactness)
    2. First-order logic (Structures, Syntax, Semantics)
  2. Model theory
    1. Elementary equivalence
    2. The ultraproduct
    3. Cardinality of models
  3. Provability, completess
    1. Hibert-type derivation
    2. The resolution method
  4. Incompleteness
    1. Pre-amble
    2. Diophantine equations
    3. Coding
    4. Undeciability
    5. Godel's incompleteness theorems
    6. Further reading
  5. Problems

Item Type:Book
Keywords and phrases:Mathematical logic, provability, completeness, Godels' theorem, undecidability, diophantine equations,
Subjects:03B10 Classical first-order logic
03F03 Proof theory, general
03C20 Ultraproducts and related constructions
03B05 Classical propositional logic
Divisions:Research Groups > Theoretical cryptography
Last Modified:26 May 2011 16:08

Repository Staff Only: item control page