References
Anton Setzer
(2000-2009)
X(2008). Proof theory and Martin-Löf type theory. In P. Boldini, M. Bourdeau & G. Heinzmann (eds.) One hundred years of intuitionism (1907–2007) (pp. 257-279). Dordrecht: Springer.
Keeping phenomenologists informed since May 2002
(2000-2009)
X(2008). Proof theory and Martin-Löf type theory. In P. Boldini, M. Bourdeau & G. Heinzmann (eds.) One hundred years of intuitionism (1907–2007) (pp. 257-279). Dordrecht: Springer.