Slisenko, A O, ed.

Studies in constructive mathematics and mathematical logic - New York Consultatns Bureau 1970 - viii, 136 p.

515.3 S37S