On Σn-definability in arithmetic
pp. 47-56
in: Artur Rojszczak, Jacek Cachro, Gabriel Kurczewski (eds), Philosophical dimensions of logic and science, Berlin, Springer, 2003Home > Proceedings > Contribution
pp. 47-56
in: Artur Rojszczak, Jacek Cachro, Gabriel Kurczewski (eds), Philosophical dimensions of logic and science, Berlin, Springer, 2003