Per Martin-Löf
(1990-1999)
X1995
in: The foundational debate, Dordrecht : Springer
Analytic and synthetic judgements in type theory
1994
in: Kant and contemporary epistemology, Dordrecht : Springer
(1990-1999)
X1995
in: The foundational debate, Dordrecht : Springer
Analytic and synthetic judgements in type theory
1994
in: Kant and contemporary epistemology, Dordrecht : Springer