Marcel Guillaume
(2000-2009)
X2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
Simplified models establishing some of Nézondet's results on Erdös–Woods conjecture
2000
Synthese 125/1-2
(2000-2009)
X2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
Simplified models establishing some of Nézondet's results on Erdös–Woods conjecture
2000
Synthese 125/1-2