Repository | Directory | Profile
Monographs in English
History and philosophy of constructive type theory
2000
Giovanni Sommaruga
Dordrecht, Springer