Repository | Directory | Profile

References
Luca Bellotti
Formalization, syntax and the standard model of arithmetic
2007
Synthese 154/2

Repository | Directory | Profile
Formalization, syntax and the standard model of arithmetic
2007
Synthese 154/2