Introduction to higher order categorical logic

Podrobná bibliografie
Hlavní autor: Lambek, J
Další autoři: Scott, P J
Médium: Printed Book
Vydáno: Cambridge University Press, Cambridge 1986
Témata:
Topological and related algebra and groups

Podobné jednotky