TY  - SER
AU  - Nagel, Ernest
AU  - Newman, James R.
AU  - Gödel, Kurt
AU  - Stanosz, Barbara
TI  - Twierdzenie Gödla
PY  - 1966///
CY  - Warszawa
PB  - Państwowe Wydawnictwo Naukowe
N1  - Bibliogr. s. [89]
ER  -