Introduction to higher order categorical logic

Detalhes bibliográficos
Autor principal: Lambek, J
Outros Autores: Scott, P J
Formato: Printed Book
Publicado em: Cambridge University Press, Cambridge 1986
Assuntos:
Topological and related algebra and groups

Registos relacionados