Jean Fichot
(2000-2009)
XGödel, constructivity, impredicativity, and feasibility
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
2003
Synthese 137/1-2
(2000-2009)
XGödel, constructivity, impredicativity, and feasibility
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
2003
Synthese 137/1-2