STUDIES IN CONSTRUCTIVE MATHEMATICS AND MATHEMATICAL LOGIC - Slisenko, A. O. (N. Y. Consultants Bureau, 1970)
Keywords: Mathematics; Logic, Symbolic And Mathematical