Navěky nerozhodnuto : úvod do logiky a zábavný průvodce ke Gödelovým objevům - Smullyan, Raymond (Academia, 2003)