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