Introduction to higher order categorical logic

Detalles Bibliográficos
Autor Principal: Lambek, J
Outros autores: Scott, P J
Formato: Printed Book
Publicado: Cambridge University Press, Cambridge 1986
Subjects:
Topological and related algebra and groups

Títulos similares