A recursive nonstandard model of normal open induction
- Berarducci, A.
- Otero, M.
ISSN: 0022-4812
Année de publication: 1996
Volumen: 61
Número: 4
Pages: 1228-1241
Type: Article
Revue:
Journal of Symbolic Logic