名古屋大学附属図書館




1

Studies in constructive mathematics and mathematical logic

Edited by A. O. Slisenko ; pt. 1, pt. 2, pt. 3. -- Consultants Bureau, 1969-. -- (Seminars in mathematics ; v. 4, 8, 16).