by Harold M. M. Edwards
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
Mathematics · Study and teaching
Investigating Mathematics Teaching
1994
Incompleteness theorems · Constructive mathematics
The incompleteness phenomenon
1995
Constructive mathematics · Proof theory
Logical Foundations of Proof Complexity
2010
Constructive mathematics · Algebra
Essays in Constructive Mathematics
2004
Congresses · Constructive mathematics
From sets and types to topology and analysis
2005
Mathematics · Philosophy
Foundational Theories of Classical and Constructive Mathematics
2011
Constructive mathematics · Mathematical foundations
Constructive models
2000
