Logika pro všechny ochotné myslet - Antonín Sochor

Karolinum - <p>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.</p>