Results 311 to 320 of about 13,404,605 (326)

Explaining Gentzen's consistency proof within infinitary proof theory

Lecture Notes in Computer Science, 2005
exaly  

Proof theory and the synthesis of programs: Potential and limitations

Lecture Notes in Computer Science, 2005
G Kreisel
exaly  

Mathematical Proof Theory in the Light of Ordinal Analysis

SynthÈse, 2002
Reinhard Kahle
exaly  

The Fundamental Problem of General Proof Theory

Studia Logica, 2018
Dag Prawitz
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  

Structural proof theory.

2001
Sara Negri, Jan von Plato
openaire   +1 more source

Proof Theory

2002
openaire   +1 more source

Proof theory

2000
openaire   +3 more sources

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

Archive for Mathematical Logic, 2011
exaly  

Weak adjointness in proof theory

Lecture Notes in Mathematics, 1979
exaly