Results 251 to 260 of about 108,430 (261)

Generalization Discovery for Proofs by Induction in Conditional Theories

1999
Emmanuel Kounalis, Pascal Urso
openaire   +2 more sources

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  

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  

An Elementary Proof of a General Theorem in Analytic Number Theory

1985
openaire   +1 more source

A General Theory of Evidence and Proof: Forming Beliefs in Truth

SSRN Electronic Journal
openaire   +1 more source

Contributions to a Proof Theory for Generic Defaults.

Ramiro A. de T. Guerreiro, Marco A. Casanova, Andrea S. Hemerly   +2 more
openaire  

Proof theory for general unification.

openaire