Introduction to higher order categorical logic

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Lambek, J
Άλλοι συγγραφείς: Scott, P J
Μορφή: Printed Book
Έκδοση: Cambridge University Press, Cambridge 1986
Θέματα:
Topological and related algebra and groups

Παρόμοια τεκμήρια