Studies in constructive mathematics and mathematical logic - 321705 Slisenko, A. O. (NY : Consultants Bureau, 1969)
41