References
Marcel Guillaume
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), Dordrecht : Springer
Simplified models establishing some of Nézondet's results on Erdös–Woods conjecture
2000
Synthese 125/1-2