Navěky nerozhodnuto
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ů.
www.knihi.cz