Navěky nerozhodnuto. : Úvod do logiky a zábavný průvodce ke Gödelovým objevům. - Smullyan, Raymond (Academia, nakladatelství AV ČR, 2003)