Deutsche Gesellschaftfür phänomenologische Forschung
Repository | Serials | | Bände
Springer
Extensional equality in the classical theory of types
William W. Tait
Band
Title
Autor