×

Formes combinatoires du théorème d’incompletude (d’apres J. Paris et d’autres). (French) Zbl 0416.03054

Seminaire Bourbaki, Vol. 1977/78, Expose No. 521, Lect. Notes Math. 710, 263-276 (1979).

MSC:

03H15 Nonstandard models of arithmetic
Full Text: Numdam EuDML