Proof theory.

Structures Mères: Semantics, Mathematics, and Cognitive Science by: (Language materials, printed)

Language, Logic, and Mathematics in Schopenhauer by: (Language materials, printed)

Beweisen lernen Schritt für Schritt = für einen gelungenen Einstieg ins Mathestudium / by: (Language materials, printed)

Sichtweisen von Sechstklässlern auf multiplikative Strukturen im Sinne eines Bausteinkonzepts = Eine qualitativ-empirische Studie / by: (Language materials, printed)

Problems and proofs in numbers and algebra by: (Language materials, printed)

Why prove it again? = alternative proofs in mathematical practice / by: (Language materials, printed)

Reductive Logic and Proof-search = Proof Theory, Semantics, and Control by: (Language materials, printed)

Methods of cut-elimination by: (Language materials, printed)

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics by: (Language materials, printed)

Set Theory = Boolean-Valued Models and Independence Proofs by: (Language materials, printed)

The proof is in the pudding = the changing nature of mathematical proof / by: (Language materials, printed)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (Language materials, printed)

Ways of proof theory / by: (Language materials, printed)

Frege's notations = what they are and how they mean / by: (Language materials, printed)

Gentzen's centenary = the quest for consistency / by: (Language materials, printed)

2-D quadratic maps and 3-D ODE systems = a rigorous approach / by: (Language materials, printed)

Conditional and preferential logics = proof methods and theorem proving / by: (Language materials, printed)

Proofs and fundamentals = a first course in abstract mathematics / by: (Language materials, printed)

Utilizing problem structure in planning = a local search approach / by: (Language materials, printed)

Logic for concurrency and synchronisation by: (Language materials, printed)

Proof theory = the first step into impredicativity / by: (Language materials, printed)

Proof theory for fuzzy logics by: (Language materials, printed)

Acts of knowledge : = history, philosophy and logic : essays dedicated to Göran Sundholm / by: (Language materials, printed)

Proofs, categories and computations : = essays in honor of Grigori Mints / by: (Language materials, printed)

Where is the Gödel-point hiding : = Gentzen's consistency proof of 1936 and his representation of constructive ordinals / by: (Language materials, printed)

Why is there philosophy of mathematics at all? / by: (Language materials, printed)

Mathematical analysis and proof by: (Language materials, printed)

Handbook of proof theory by: (Language materials, printed)

Where is the Godel-point hiding = Gentzen's consistency proof of 1936 and his representation of constructive ordinals / by: (Language materials, printed)

Algebra of proofs by: (Language materials, printed)

Lectures on the Curry-Howard isomorphism by: (Language materials, printed)

Logic in algebraic form = three languages and theories. by: (Language materials, printed)

Proof theory by: (Language materials, printed)

The nuts and bolts of proofs by: (Language materials, printed)

The nuts and bolts of proofs = an introduction to mathematical proofs / by: (Language materials, printed)

Writing proofs in analysis by: (Language materials, printed)

The nuts and bolts of proofs = an introduction to mathematical proofs / by: (Language materials, printed)

Space in weak propositional proof systems by: (Language materials, printed)

An introduction to the language of mathematics by: (Language materials, printed)

Proof theory and algebra in logic by: (Language materials, printed)

Sets, Models and Proofs by: (Language materials, printed)

An Introduction to the Language of Mathematics by: (Language materials, printed)

Proof Technology in Mathematics Research and Teaching by: (Language materials, printed)

Arabic Logic from al-Fārābī to Averroes = A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics / by: (Language materials, printed)