John P. Burgess
(2000-2009)
XProtocol sentences for lite logicism
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
(2000-2009)
XProtocol sentences for lite logicism
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer