Navěky nerozhodnuto : úvod do logiky a zábavný průvodce ke Gödelovým objevům / Raymond Smullyan ; [z anglického originálu ... přeložil Petr Hromek] .  Praha :  Academia,  2003 .  308 s.   [2, z toho volných 2]