ELiTM zaoczne
Elitm0 - indukcja
ELiTM1 - rachunek zdań i predykatów
ELiTM2 - rachunek zbiorów
ELiTM3 - sumy i przecięcia
ELiTM4 - relacje
ELiTM5 - funkcje
ELiTM6 - zbiory częściowo uporządkowane
ELiTM7 - moce zbiorów
Literatura:
- W. Marek, J. Onyszkiewicz - Elementy logiki i teorii mnogości w zadaniach,
- H. Rasiowa - Wstęp do matematyki współczesnej, PWN
- K. Kuratowski - Wstęp do teorii mnogości i topologii, PWN
- W. Guzicki, P. Zakrzewski – Wykłady ze wstępu do matematyki
- W. Guzicki, P. Zakrzewski - Wstęp do matematyki. Zbiór zadań, PWN 2005
- http://wazniak.mimuw.edu.pl/index.php?title=Logika_i_teoria_mnogo%C5%9Bci