Introduction to higher order categorical logic

Bibliographische Detailangaben
1. Verfasser: Lambek, J
Weitere Verfasser: Scott, P J
Format: Printed Book
Veröffentlicht: Cambridge University Press, Cambridge 1986
Schlagworte:
Topological and related algebra and groups

Ähnliche Einträge