P-M 2344
Smullyan, Raymond M., 1919-2017
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]. -- Vyd. 1. -- Praha : Academia, 2003. -- 308 s. -- ISBN : 80-200-1068-8.
Hromek, Petr
matematická logika. umělá inteligence. monografie
164. 510.6