Frédéric Blanqui, Gilles Dowek, Émilie Grienenberger, Gabriel Hondet, François Thiré. Some Axioms for Mathematics. In Naoki Kobayashi 0001, editor, 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference). Volume 195 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
@inproceedings{BlanquiDGHT21,
title = {Some Axioms for Mathematics},
author = {Frédéric Blanqui and Gilles Dowek and Émilie Grienenberger and Gabriel Hondet and François Thiré},
year = {2021},
doi = {10.4230/LIPIcs.FSCD.2021.20},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2021.20},
researchr = {https://researchr.org/publication/BlanquiDGHT21},
cites = {0},
citedby = {0},
booktitle = {6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference)},
editor = {Naoki Kobayashi 0001},
volume = {195},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-191-7},
}