Anotace
Uvodní kurs do studia matematické logiky je zaměřen na zvládnutí základních logických znalostí a technik, cílem je obsáhnout syntax a sémantiku klasické výrokové a predikátové logiky, včetně důkazu její silné úplnosti, základních vlastností axiomatických teorií, a základů teorie modelů.