Suggested Topics within your search.
Suggested Topics within your search.
Proof theory
42
Logic, Symbolic and mathematical
13
Mathematics
9
Mathematical analysis
6
Study and teaching
4
Intuitionistic mathematics
3
Foundations
2
Philosophy
2
Problem solving
2
Set theory
2
Computable functions
1
Computer programs
1
Induction (Mathematics)
1
Lambda calculus
1
Modality (Logic)
1
Model theory
1
Nonclassical mathematical logic
1
Number theory
1
Pedagogy of
1
Predicate calculus
1
Proof-writing
1
Teaching
1
Type theory
1
-
1by Troelstra, A. S. (Anne Sjerp)
Published 2000Edition: 2nd ed.Subjects: '; “...Proof theory...”
Book -
2
-
3
-
4
-
5
-
6
-
7by Sundstrom, Theodore A.
Published 2014Edition: Version 1.1.Subjects: '; “...Proof theory....”
Book -
8by Gasteren, A. J. M. van (Antonetta J. M. van), 1952-Subjects: '; “...Proof theory...”
Published 1990
Book -
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17Published 2010Subjects: '; “...Proof theory....”
Book -
18
-
19
-
20Published 1998Subjects: '; “...Proof theory...”
Book