Results 211 to 217 of about 150,676 (217)

The Fundamental Problem of General Proof Theory

Studia Logica, 2018
Dag Prawitz, Prawitz Dag
exaly  

Proof-relevance of families of setoids and identity in type theory

Archive for Mathematical Logic, 2011
exaly  

AN INSTRUCTIONAL MODEL FOR TEACHING PROOF WRITING IN THE NUMBER THEORY CLASSROOM

Primus, 2005
exaly  

Proof levels of graph theory students under the lens of the Van Hiele model

International Journal of Mathematical Education in Science and Technology
VÍCTOR Manuel Manero, Alberto Arnal Bailera, Antonio Gonzalez   +2 more
exaly  

Advances in Proof Theory

Philology, 2016
exaly  

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

2008
exaly  

Proof Theory of Classical and Intuitionistic Logic

2009
exaly