123060

References

Charles McCarty

Reconstructing a logic from tractatus: Wittgenstein's variables and formulae

2016

with Fisher David

in: Early analytic philosophy, Dordrecht : Springer

Open Access Link
Proofs and constructions

2011

in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer

Open Access Link
The new intuitionism

2008

in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer

Open Access Link