- Notice
000 cx j22 45
001 FRBNF16244550X
005 20110902
035 .. $a (Sudoc)147690951
100 .. $a 20101118afrey50 ba0
106 .. $a 211
152 .. $b rameau $c 2
250 .. $7 ba0yba0y $8 fre $9 $a Théorème de Tennenbaum
450 .. $7 ba0yba0y $8 fre $9 $a Tennenbaum, Théorème de
686 .. $a 510 $c Mathématiques $2 Note de regroupement par domaine
801 .. $a FR $b FR-751131015 $c 20110902
810 .. $a The structure of models of Peano arithmetic / R. Kossak, J. H. Schmerl, 2006 $a Models of Peano arithmetic / R. Kaye, 1991 $a Tennenbaum's theorem for models of arithmetic - http://web.mat.bham.ac.uk/R.W.Kaye/papers/tennenbaum/tennenbaum
(2011-09-02) $a Le modèle attendu de l'arithmétique : l'argument du théorème de Tennenbaum / P. Quinon-Bucholc,
2010 [thèse]
822 11 $2 LCSH $d 2011-09-02