
J. Borrego-Diaz
(2000-2009)
XOn Σn-definability in arithmetic
2003
in: Philosophical dimensions of logic and science, Dordrecht : Springer

(2000-2009)
XOn Σn-definability in arithmetic
2003
in: Philosophical dimensions of logic and science, Dordrecht : Springer