Code: BBN-FIL-302.02, BMA-FILD-302.02, 	
Title: Logic Seminar (in English!)	
Lecturer: Mekis Péter	
Time and location: Wednesday, 14:00-15:30, Múzeum körút campus, building I, room i 226	

Prerequisits: none	
Final grade will be based on homeworks.	

Course description:
The course gives an introduction to the system of propositional logic, aka. propositional calculus. In the first classes, we introduce the basic concepts and methods is a less formal way; then we systematically build up the syntax and semantics of propositional logic. Finally, we study the system's metalogical properties.
More information on the subject:
http://en.wikipedia.org/wiki/Propositional_calculus	

Course material:
Barwise, J. & Etchemendy, J., Language, Proof and Logic