A.J.: “Modèles nonstandard de l’arithmétique et complexité algorithmique (1987)

by Wilkie
Venue:Publications Mathématiques de l’Université Paris VII