TY - GEN AU - Slisenko, A. O. [ed.] TI - Studies in constructive mathematics and mathematical logic U1 - 164 PY - 1969/// CY - New York PB - Consultants Bureau KW - Constructive Mathematics KW - Mathematical Logic ER -