Csirmaz, László (1994) *Matematikai Logika.* Eötvös Loránd Tudományegyetem, Budapest.

| Postscript (Title page) - in Hungarian 17Kb |
| Postscript (Chapter 7) - in Hungarian 142Kb | ||||

| Postscript (Table of Content) - in Hungarian 15Kb |
| Postscript (Chapter 8) - in Hungarian 151Kb | ||||

| Postscript (Chapter 1) - in Hungarian 56Kb |
| Postscript (Chapter 9) - in Hungarian 247Kb | ||||

| Postscript (Chapter 2) - in Hungarian 94Kb |
| Postscript (Chapter 10) - in Hungarian 137Kb | ||||

| Postscript (Chapter 3) - in Hungarian 104Kb |
| Postscript (Chapter 11) - in Hungarian 143Kb | ||||

| Postscript (Chapter 4) - in Hungarian 157Kb |
| Postscript (Chapter 12) - in Hungarian 192Kb | ||||

| Postscript (Chapter 5) - in Hungarian 130Kb |
| Postscript (References) - in Hungarian 17Kb | ||||

| Postscript (Chapter 6) - in Hungarian 89Kb |

## Abstract

Lecture notes for Mathematical Logic; in Hungarian.

Contents:

1 Introduction

2 First order language

3 Structures, truth of formulas

4 Examples

5 Consequence

6 Derivability

7 Basics of model theory

8 Compactness theorem

9 Applications

10 Recursive functions

11 Arithmetizing derivability

12 Theorem of Church and Gödel

Item Type: | Book |
---|---|

Keywords and phrases: | First order logic, lecture notes |

Subjects: | 03B10 Classical first-order logic 03B05 Classical propositional logic |

Divisions: | Research Groups > Theoretical cryptography |

Last Modified: | 17 Jul 2009 16:20 |

Repository Staff Only: item control page