Observations concernant la théorie de la définition
Annales scientifiques de l'Université de Clermont. Mathématiques (1962)
- Volume: 7, Issue: 1, page 83-87
- ISSN: 0249-7042
Access Full Article
topHow to cite
topBeth, E. W.. "Observations concernant la théorie de la définition." Annales scientifiques de l'Université de Clermont. Mathématiques 7.1 (1962): 83-87. <http://eudml.org/doc/80351>.
@article{Beth1962,
author = {Beth, E. W.},
journal = {Annales scientifiques de l'Université de Clermont. Mathématiques},
language = {fre},
number = {1},
pages = {83-87},
publisher = {UER de Sciences exactes et naturelles de l'Université de Clermont},
title = {Observations concernant la théorie de la définition},
url = {http://eudml.org/doc/80351},
volume = {7},
year = {1962},
}
TY - JOUR
AU - Beth, E. W.
TI - Observations concernant la théorie de la définition
JO - Annales scientifiques de l'Université de Clermont. Mathématiques
PY - 1962
PB - UER de Sciences exactes et naturelles de l'Université de Clermont
VL - 7
IS - 1
SP - 83
EP - 87
LA - fre
UR - http://eudml.org/doc/80351
ER -
References
top- [1] Voir par exemple: L'oeuvre de Pascal, texte établi et annoté par J. Chevalier,Bibliothèque de la Pléiade, Paris1936, 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, Paris1901.
- [3] Lettre du 10 avril 1962.
- [4] E.W. Beth - L'existence en mathématiques, Paris- Louvain1956. Zbl0075.23103
- [5] K.L. De Bouvere - A Method in Proofs of Undefinability, Amsterdam1959.
- [6] E.W. Beth, l.c., K.L. De Bouvere, l.c.
- [7] S.C. Kleene - Introduction to Metamathematics, Amsterdam- Groningen1952. Zbl0047.00703MR51790
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.