Cargando…

Connections between Category Theory and Algebraic Geometry & Intuitionistic Logic

Detalles Bibliográficos
Autor principal: Lawvere, F
Lenguaje:eng
Publicado: Springer 1972
Materias:
Acceso en línea:https://dx.doi.org/10.1007/BFb0073961
http://cds.cern.ch/record/2029449