Marcel Guillaume
2008
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
2008
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