154530

References

John Wigglesworth

Synthese 197/2

Foundations of mathematics

2020