Report copyright - Constructive Mathematics and Functional …coquand/esop.pdfConstructive Mathematics and Functional Programming Constructive Mathematics 1930 Heyting, Kolmogorov, explanation of intuitionistic
Please pass captcha verification before submit form