Charles McCarty
(2010-2019)
X2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
Reconstructing a logic from tractatus
2016
in: Early analytic philosophy, Dordrecht : Springer
(2010-2019)
X2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
Reconstructing a logic from tractatus
2016
in: Early analytic philosophy, Dordrecht : Springer