Repository | Directory | Profile
References
William W. Tait
(1990-1999)
XExtensional equality in the classical theory of types
1995
in: The foundational debate, Dordrecht : Springer
Some recent essays in the history of the philosophy of mathematics
1993
Synthese 96/2