Reflections on the foundations of mathematics: univalent foundations, set theory and general thoughts

Detalles Bibliográficos
Autores principales: Centrone, Stefania, Kant, Deborah, Sarikaya, Deniz
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756550
_version_ 1780969775108718592
author Centrone, Stefania
Kant, Deborah
Sarikaya, Deniz
author_facet Centrone, Stefania
Kant, Deborah
Sarikaya, Deniz
author_sort Centrone, Stefania
collection CERN
id cern-2756550
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2019
publisher Springer International Publishing AG
record_format invenio
spelling cern-27565502021-04-21T16:41:54Zhttp://cds.cern.ch/record/2756550engCentrone, StefaniaKant, DeborahSarikaya, DenizReflections on the foundations of mathematics: univalent foundations, set theory and general thoughtsXXSpringer International Publishing AGoai:cds.cern.ch:27565502019
spellingShingle XX
Centrone, Stefania
Kant, Deborah
Sarikaya, Deniz
Reflections on the foundations of mathematics: univalent foundations, set theory and general thoughts
title Reflections on the foundations of mathematics: univalent foundations, set theory and general thoughts
title_full Reflections on the foundations of mathematics: univalent foundations, set theory and general thoughts
title_fullStr Reflections on the foundations of mathematics: univalent foundations, set theory and general thoughts
title_full_unstemmed Reflections on the foundations of mathematics: univalent foundations, set theory and general thoughts
title_short Reflections on the foundations of mathematics: univalent foundations, set theory and general thoughts
title_sort reflections on the foundations of mathematics: univalent foundations, set theory and general thoughts
topic XX
url http://cds.cern.ch/record/2756550
work_keys_str_mv AT centronestefania reflectionsonthefoundationsofmathematicsunivalentfoundationssettheoryandgeneralthoughts
AT kantdeborah reflectionsonthefoundationsofmathematicsunivalentfoundationssettheoryandgeneralthoughts
AT sarikayadeniz reflectionsonthefoundationsofmathematicsunivalentfoundationssettheoryandgeneralthoughts

Ejemplares similares