Results 141 to 150 of about 109,181 (158)
Some of the next articles are maybe not open access.
An assessment model for proof comprehension in undergraduate mathematics
Educational Studies in Mathematics, 2011Juan Pablo Mejía-Ramos, Keith Weber
exaly
Admissible Ordering on Monomials is Well-Founded: A Constructive Proof
Programming and Computer Software, 2023exaly
Interpretation of constructive multi-typed theory in the theory of arithmetical truth
Lobachevskii Journal of Mathematics, 2015Farida Kachapova
exaly
Systems of explicit mathematics with non-constructive μ-operator. Part I
Annals of Pure and Applied Logic, 1993exaly
Systems of explicit mathematics with non-constructive μ-operator. Part II
Annals of Pure and Applied Logic, 1996exaly
Proof Theory of Constructive Systems: Inductive Types and Univalence
Outstanding Contributions To Logic, 2017exaly