P-S 20558
Nagel, Ernest, 1901-1985
Der Gödelsche Beweis / von Ernest Nagel und James R. Newman. -- 9., unveränd. Aufl. -- München : Oldenbourg, 2010. -- 110 s. -- (Scientia Nova). -- ISBN : 978-3-486-59726-4 (brož.).
Newman, James Roy, 1907-1966
matematická logika. studie
510.6. (048.8)