Introduction to higher order categorical logic

Detalles Bibliográficos
Autor principal: Lambek, J
Otros Autores: Scott, P J
Formato: Printed Book
Publicado: Cambridge University Press, Cambridge 1986
Materias:
Topological and related algebra and groups

Ejemplares similares