CITATION STYLE
Coquand, T. (2007). Kolmogorov’s contribution to intuitionistic logic. In Kolmogorov’s Heritage in Mathematics (pp. 19–40). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-36351-4_2
Mendeley helps you to discover research relevant for your work.