Studies in constructive mathematics and mathematical logic - Slisenko A O (New York Consultants Bureau, 1969)
Keywords: Constructive mathematics; Mathematical logic