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
_version_ 1780947394068742144
author Lawvere, F
author_facet Lawvere, F
author_sort Lawvere, F
collection CERN
id cern-2029449
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 1972
publisher Springer
record_format invenio
spelling cern-20294492021-04-22T06:50:52Zdoi:10.1007/BFb0073961http://cds.cern.ch/record/2029449engLawvere, FConnections between Category Theory and Algebraic Geometry & Intuitionistic LogicMathematical Physics and MathematicsSpringeroai:cds.cern.ch:20294491972
spellingShingle Mathematical Physics and Mathematics
Lawvere, F
Connections between Category Theory and Algebraic Geometry & Intuitionistic Logic
title Connections between Category Theory and Algebraic Geometry & Intuitionistic Logic
title_full Connections between Category Theory and Algebraic Geometry & Intuitionistic Logic
title_fullStr Connections between Category Theory and Algebraic Geometry & Intuitionistic Logic
title_full_unstemmed Connections between Category Theory and Algebraic Geometry & Intuitionistic Logic
title_short Connections between Category Theory and Algebraic Geometry & Intuitionistic Logic
title_sort connections between category theory and algebraic geometry & intuitionistic logic
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/BFb0073961
http://cds.cern.ch/record/2029449
work_keys_str_mv AT lawveref connectionsbetweencategorytheoryandalgebraicgeometryintuitionisticlogic