Categorical logic and type theory

Categorical logic and type theory

por Bart Jacobs
4/5
(7 votos)
Formato
760 paginas
Primera publicación
1999
Editores
Elsevier Science

Libros

Libros similares