no. 1
Observations concernant la théorie de la définition
Annales de la faculté des sciences 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 de la facult\'e des sciences 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/}
}
TY  - JOUR
AU  - Beth, E. W.
TI  - Observations concernant la théorie de la définition
JO  - Annales de la faculté des sciences de l'université de Clermont. Mathématiques
PY  - 1962
SP  - 83
EP  - 87
VL  - 7
IS  - 1
PB  - UER de Sciences exactes et naturelles de l'Université de Clermont
UR  - http://www.numdam.org/item/ASCFM_1962__7_1_83_0/
LA  - fr
ID  - ASCFM_1962__7_1_83_0
ER  - 
%0 Journal Article
%A Beth, E. W.
%T Observations concernant la théorie de la définition
%J Annales de la faculté des sciences de l'université de Clermont. Mathématiques
%D 1962
%P 83-87
%V 7
%N 1
%I UER de Sciences exactes et naturelles de l'Université de Clermont
%U http://www.numdam.org/item/ASCFM_1962__7_1_83_0/
%G fr
%F ASCFM_1962__7_1_83_0
Beth, E. W. Observations concernant la théorie de la définition. Annales de la faculté des sciences 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

[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 | Zbl