TY  - BOOK
AU  - Goedel,Kurt
AU  - Feferman,Solomon
TI  - Collected works
SN  - 0195147227 (v. 3, pbk.)
PY  - 2001///
CY  - Oxford [a. o.]
PB  - Oxford University Press
KW  - логика
KW  - математическая логика
N1  - Bibliogr.: p. 479-516. - Index: p. 521-532
ER  -