Slisenko A.O. Studies In Constructive Mathematics and Mathematical Logic Part II Vol-8 / by A.O.Slisenko - London Consultants Bureau 1970 - 136p.