SMULLYAN, Raymond M. Navěky nerozhodnuto : úvod do logiky a zábavný průvodce ke Gödelovým objevům. Vyd. 1. Praha : Academia, 2003. 308 s. ISBN 80-200-1068-8.