Search
(2020-2029)
2020
with Antos Carolin, Ternullo Claudio, Friedman Sy David, Barton Neil
Synthese 197/2
Foundations of mathematics