Gödel, Kurt, 1906-1978
On formally undecidable propositions of principia mathematica and related systems / Kurt Gödel ; translated by B. Meltzer ; introduction by R.B. Braithwaite. -- First published. -- New York : Dover Publications, 1992. -- viii, 72 stran. -- (Dover books on mathematics). -- Přeloženo z němčiny. -- ISBN : 0-486-66980-7 (brožováno) ISBN (chybné) 978-0-486-66980-9.
Meltzer, Bernard, 1916-2008. Braithwaite, R. B., 1900-1990
matematická logika. Gödelovy věty. učebnice vysokých škol
510.6. (075.8)