Zájemcům o logiku, ať už z řad studentů vyšších ročníků gymnázií, či širší veřejnosti, je určena publikace přibližující základy logiky v její moderní podobě. Od logických hádanek a sylogismů směřuje systematicky k bližšímu seznámení s logikou jako vědním oborem. Zejména studenti gymnázií uvažující o vysokoškolském studiu matematického zaměření se zde mohou setkat nejen s výrokovou a predikátovou logikou, ale také se zkoumáním vlastností axiomatických teorií či rozborem Gödelových vět o neúplnosti.
Antonín Sochor Libri



Metamatematika teorií množin
- 203pagine
- 8 ore di lettura
Klasická matematická logika
- 402pagine
- 15 ore di lettura
Obsáhlá publikace je rozdělena do tří částí podle úrovně vědomostí a náročnosti čtenáře. Kapitoly I a II jsou určeny všem zájemcům o základy matematické logiky a seznamují čtenáře s jejími nejvážnějšími zásadami a postupy. Úroveň III je určena zájemcům o hlubší studium logiky a kromě určitých matematických znalostí předpokládá především schopnost a ochotu myslet.