Oficjalny program wykładu

Literatura uzupełniająca
1. Z. Adamowicz, P. Zbierski, ,,Logika matematyczna'', PWN 1991.
2. H.E. Enderton, ,,A mathematical introduction to logic", Academic Press 2001.
3. P.G. Hinman, ,,Fundamentals of Mathematical Logic", A K Peters 2005.
4. I.A. Ławrow, Ł.A. Maksimowa, ,,Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów", PWN 2004.
5. W. Marek, J. Onyszkiewicz, ,,Elementy logiki i teorii mnogości w zadaniach'', PWN 2001.
6. P. Urzyczyn "Zadania z logiki").



Egzamin z 21.01.2003 ( .dvi , .ps .pdf )

Egzamin z 27.01.2005 ( .dvi , .ps .pdf )

Egzamin z 1.03.2005 ( .dvi , .ps .pdf )

Egzamin z 30.01.2007 ( .dvi , .ps .pdf )