CITATION STYLE
Troelstra, A. S. (1977). Axioms for Intuitionistic Mathematics Incompatible with Classical Logic. In Logic, Foundations of Mathematics, and Computability Theory (pp. 59–84). Springer Netherlands. https://doi.org/10.1007/978-94-010-1138-9_4
Mendeley helps you to discover research relevant for your work.