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