Results 321 to 330 of about 7,429,852 (332)

Proof Theory

2000
openaire   +3 more sources

Proof Theory

2010
Poggiolesi, Francesca, Russo, F., Williamson, Jon   +2 more
openaire   +3 more sources

Proof theory and set theory

SynthÈse, 1985
Gaisi Takeuti
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
Antonio Gonzalez, VÍCTOR Manero, Alberto Arnal-Bailera   +2 more
exaly  

Proof Theory

2002
openaire   +1 more source

Proof Theory

1975
openaire   +1 more source

Proof Theory

1981
openaire   +1 more source

Proof Theory of Classical and Intuitionistic Logic

2009
exaly