TY  - BOOK
AU  - Slisenko, A. O.
TI  - STUDIES IN CONSTRUCTIVE MATHEMATICS AND MATHEMATICAL LOGIC
U1  - 510 
PY  - 1970///
CY  - N. Y.
PB  - Consultants Bureau
KW  - Mathematics
KW  - Logic, Symbolic And Mathematical
ER  -