Añadir a mi colección
Formato
También te puede gustar
Investigating Mathematics Teaching
Barbara Jaworski
1994
The incompleteness phenomenon
Martin Goldstern
1995
Logical Foundations of Proof Complexity
Stephen Cook
2010
Essays in Constructive Mathematics
Harold M. Edwards
2004
Fine Structure and Iteration Trees
William J. Mitchell
Predicative Arithmetic. (MN-32)
Edward Nelson
1986
From sets and types to topology and analysis
Peter Schuster
2005
Constructibility and mathematical existence
Charles S. Chihara
1990
