TY - BOOK AU - Slisenko,A.O. TI - Studies in constructive mathematics and mathematical logic SN - 306188082 U1 - 510 SMI. 8 PY - 1970///. CY - New York : PB - Consultants Bureau, KW - Mathematics N1 - Includes index. ER -