Acta Structuralica
international journal for structuralist research
Journal | Authors
On Σn-definability in arithmetic
2003
J. Borrego-Diaz A. Fernández-Margarit M. J. Pérez-Jimenez
in: Philosophical dimensions of logic and science, Dordrecht : Springer