Observations concernant la théorie de la définition
Beth, E. W.
Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 8 (1962), p. 83-87 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1962-01-01
@article{ASCFM_1962__7_1_83_0,
     author = {Beth, E. W.},
     title = {Observations concernant la th\'eorie de la d\'efinition},
     journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
     volume = {8},
     year = {1962},
     pages = {83-87},
     mrnumber = {284324},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ASCFM_1962__7_1_83_0}
}

Beth, E. W. Observations concernant la théorie de la définition. Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 8 (1962) pp. 83-87. http://gdmltest.u-ga.fr/item/ASCFM_1962__7_1_83_0/

[1] Voir par exemple: L'oeuvre de Pascal, texte établi et annoté par J. Chevalier, Bibliothèque de la Pléiade, Paris 1936, pp. 358-386.

[2] A. Padoa - Essai d'une théorie algébrique des nombres entiers, précédé d'une introduction logique à une théorie déductive quelconque, Biblioth. du Congrès Int. de Philos., vol. III, Paris 1901.

[3] Lettre du 10 avril 1962.

[4] E.W. Beth - L'existence en mathématiques, Paris- Louvain 1956. | Zbl 0075.23103

[5] K.L. De Bouvere - A Method in Proofs of Undefinability, Amsterdam 1959.

[6] E.W. Beth, l.c., K.L. De Bouvere, l.c.

[7] S.C. Kleene - Introduction to Metamathematics, Amsterdam- Groningen 1952. | MR 51790 | Zbl 0109.00509