TY - DATA AU - A. O. Slisenko TI - Studies in Constructive Mathematics and Mathematical Logic SN - 9781468489682 PY - 1969/// PB - Springer US KW - Mathematics and Statistics UR - https://doi.org/10.1007/978-1-4684-8968-2 ER -