Marcel Guillaume
2 Publications
Some of Julius König's mathematical dreams in his new foundations of logic, arithmetic, and set theory
2008
in: One hundred years of intuitionism (1907–2007), Berlin,
Simplified models establishing some of Nézondet's results on Erdös–Woods conjecture
2000
Synthese 125
2 Publications