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

| PDF 375Kb |

## Abstract

Contents:

- Introduction
- Propositional Logic (Syntax, Compactness)
- First-order logic (Structures, Syntax, Semantics)

- Model theory
- Elementary equivalence
- The ultraproduct
- Cardinality of models

- Provability, completess
- Hibert-type derivation
- The resolution method

- Incompleteness
- Pre-amble
- Diophantine equations
- Coding
- Undeciability
- Godel's incompleteness theorems
- Further reading

- 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