Táto vysokoškolská učebnica pokrýva kľúčový materiál pre typický prvý kurz logiky, najmä predstavuje úplný matematický opis najdôležitejšieho výsledku v logike: vetu o úplnosti pre logiku prvého rádu. Pohľadom na sériu zaujímavých systémov, ktoré sa zvyšujú na zložitosti, potom dokazovaním a diskusiou o vete o úplnosti pre každý z nich autor zabezpečuje, že počet nových konceptov, ktoré sa majú absorbovať v každej fáze, je zvládnuteľný a zároveň poskytuje živé matematické aplikácie. Neznáma terminológia je obmedzená na minimum, nevyžaduje sa žiadne formálne pozadie v teórii množín a kniha obsahuje dôkazy všetkých požadovaných teoretických výsledkov množín. Čitateľ sa vydá na cestu, ktorá začína Kãnigovou Lemmou a postupuje cez vzťahy rádu, Zornovu lemmu, Booleovské algebry a výrokovú logiku k úplnosti a kompaktnosti logiky prvého rádu. Ako aplikácie práce na logike prvého rádu poskytujú dve záverečné kapitoly úvod do teórie modelov a neštandardnej analýzy. Jazyk: angličtina