TY  - BOOK
AU  - Goodstein, R. L.
TI  - DEVELOPMENT OF MATHEMATICAL LOGIC
U1  - 511.3 
PY  - 1971///
CY  - London
PB  - Logos Press
KW  - Logic, Symbolic And Mathematical
N1  - Bibl. : P. 141-148
ER  -