Reconstructing a logic from tractatus

Wittgenstein's variables and formulae

2016

David Fisher, Charles McCarty

in: Early analytic philosophy, Berlin,

Proofs and constructions

2011

Charles McCarty

in: Foundational theories of classical and constructive mathematics, Berlin,

The new intuitionism

2008

Charles McCarty

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

Wittgenstein on the foundations of mathematics

1981

Charles McCarty

Grazer Philosophische Studien 14