124706

References

Carolin Antos

(2020-2029)

X

Synthese 197/2

Foundations of mathematics

2020