
Stefan Buijsman
Two roads to the successor axiom
2020
Synthese 197/3

Accessibility of reformulated mathematical content
2017
Synthese 194/6

Two roads to the successor axiom
2020
Synthese 197/3
Accessibility of reformulated mathematical content
2017
Synthese 194/6