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