Search Results - "proof theory"
Suggested Topics within your search.
Suggested Topics within your search.
- Proof theory 41
- Logic, Symbolic and mathematical 11
- Mathematical analysis 4
- Set theory 4
- Mathematics 3
- Textbooks 3
- Logic, symbolic and mathematical 2
- Study and teaching 2
- Algebraic logic 1
- Automatic theorem proving 1
- Categories (Mathematics) 1
- Categories (Philosophy) 1
- Combinatory logic 1
- Congres 1
- Connaissance, Theorie de la 1
- Foundations 1
- Induction (Mathematics) 1
- Logic, Symbolical and mathematical 1
- Logique mathematique non classique 1
- Logique symbolique et mathematique 1
- Philosophy 1
- Probabilities 1
- Reasoning 1
-
41
Theorems, corollaries, lemmas, and methods of proof
Published 2006Subjects: “…Proof theory Textbooks…”
Click Here to View Status and Holdings.
Unknown -
42
The age of alternative logics assessing philosophy of logic and mathematics today
Published 2006Subjects: Click Here to View Status and Holdings.
Unknown