Conference | Speakers | Profile
M. J. Pérez-Jimenez
On Σn-definability in arithmetic
2003
in: Philosophical dimensions of logic and science, Dordrecht : Springer
Conference | Speakers | Profile
On Σn-definability in arithmetic
2003
in: Philosophical dimensions of logic and science, Dordrecht : Springer