Observations concernant la théorie de la définition
Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 7 (1962) no. 1, pp. 83-87.
@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},
     pages = {83--87},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {7},
     number = {1},
     year = {1962},
     mrnumber = {284324},
     language = {fr},
     url = {http://www.numdam.org/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 7 (1962) no. 1, pp. 83-87. http://www.numdam.org/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