Navěky nerozhodnuto : úvod do logiky a zábavný průvodce ke Gödelovým objevům

Úvod do logiky a zábavný průvodce ke Gödelovým objevům. Kniha podává prostřednictvím zábavných úkolů o poctivcích a padouších velmi populární úvod do moderní logiky, do problémů sebereference, Gödelových vět o neúplnosti aritmetiky a tzv. logiky „možných“ světů.