TY  - BOOK
AU  - Goedel,Kurt
AU  - Feferman,Solomon
TI  - Collected works
SN  - 0195147200 (v. 1, pbk.)
PY  - 2001///
CY  - Oxford [a. o.]
PB  - Oxford University Press
KW  - логика
KW  - математическая логика
KW  - основания математики
KW  - аксиоматика
N1  - Bibliogr.: p. 407-459. - Index: p. 461-474
ER  -