Title 
Logic Lecture 
Lecturer 
Péter Mekis 
Codes 
BBNFIL301.2, BMALOTD102.1, BMILOTD102E.2, BMAFILD301.2 
Time 
Monday 12:0013:30 
Venue 
i221 
Prerequisites 
The course assumes some familiarity with the basic concepts and methods of standard firstorder logic. 
Description 
The lectures will cover the following topics:
 standard firstorder languages: syntax and semantics;
 firstorder analytic trees; undecidability;
 firstorder theories: basic concepts and methods;
 Peano arithmetic: language, definitions, and basic theorems;
 standard firstorder calculus: soundness and completeness;
 standard and nonstandard models of Peano arithmetic
 definite descriptions and semantic value gaps;
 higherorder logic;
 overview of Gödel's incompleteness results.
The topics may change during the course, in accordance with student demand.
The Hungarian version of the course will be easier and covers less topics.

Literature 
 Lecture notes (uploaded during the course)
 Gamut, L. T. F.,
Logic, Language, and Meaning. Vol 1:
Introduction to Logic. Chicago UP, 1991.
 Mendelson, E.,
Introduction to Mathematical logic .
4th ed. Springer, 1997.

Lecture notes 
