Co je logika? - Tomáš Holeček

Studie seznamuje čtenáře s moderní logikou z pohledu sto let starého (vzatého ze spisu Principia Mathematica). Jejím cílem je, kromě představení klasického analytického postupu a myšlenky důkazu, nabídnout vlastní odpovědi na některé otázky, které dnes studium moderní logiky provázejí: Z čeho v logice vycházíme? K čemu nám jsou pravidla? Mluvíme jen v metajazyce?