Repository | Directory | Profile

A. Fernández-Margarit
On Σn-definability in arithmetic
2003
in: Philosophical dimensions of logic and science, Dordrecht : Springer
European Society
for Phenomenology
Repository | Directory | Profile

On Σn-definability in arithmetic
2003
in: Philosophical dimensions of logic and science, Dordrecht : Springer