Eprints of Rényi Institute

Matematikai Logika

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

[img]
Preview
Postscript (Title page) - in Hungarian
17Kb
[img]
Preview
Postscript (Chapter 7) - in Hungarian
142Kb
[img]
Preview
Postscript (Table of Content) - in Hungarian
15Kb
[img]
Preview
Postscript (Chapter 8) - in Hungarian
151Kb
[img]
Preview
Postscript (Chapter 1) - in Hungarian
56Kb
[img]
Preview
Postscript (Chapter 9) - in Hungarian
247Kb
[img]
Preview
Postscript (Chapter 2) - in Hungarian
94Kb
[img]
Preview
Postscript (Chapter 10) - in Hungarian
137Kb
[img]
Preview
Postscript (Chapter 3) - in Hungarian
104Kb
[img]
Preview
Postscript (Chapter 11) - in Hungarian
143Kb
[img]
Preview
Postscript (Chapter 4) - in Hungarian
157Kb
[img]
Preview
Postscript (Chapter 12) - in Hungarian
192Kb
[img]
Preview
Postscript (Chapter 5) - in Hungarian
130Kb
[img]
Preview
Postscript (References) - in Hungarian
17Kb
[img]
Preview
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