Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...



Categorical logic and type theory
Studies in logic and the foundations of mathematics : v. 141
1st ed, c1999
Volltextzugriff (PDF)

Categorical logic and type theory
1st ed
Volltextzugriff (PDF)