A recursive nonstandard model of normal open induction
- Berarducci, A.
- Otero, M.
ISSN: 0022-4812
Año de publicación: 1996
Volumen: 61
Número: 4
Páginas: 1228-1241
Tipo: Artículo
Revista:
Journal of Symbolic Logic