Suggested Topics within your search.
Suggested Topics within your search.
Proof theory
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
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13by Azzouni, Jody
Published 2005Book -
14
-
15
-
16
-
17
-
18
-
19
-
20