Hilbert et la logique interne des mathématiques
Séminaire de Philosophie et Mathématiques, Hilbert et la logique interne des mathématiques, no. 6 (1993), pp. 1-15. 
@article{SPHM_1993___6_A1_0,
     author = {Gauthier, Yvon},
     title = {Hilbert et la logique interne des math\'ematiques},
     journal = {S\'eminaire de Philosophie et Math\'ematiques},
     pages = {1--15},
     publisher = {IREM Paris-Nord},
     number = {6},
     year = {1993},
     language = {fr},
     url = {http://archive.numdam.org/item/SPHM_1993___6_A1_0/}
}
TY  - JOUR
AU  - Gauthier, Yvon
TI  - Hilbert et la logique interne des mathématiques
JO  - Séminaire de Philosophie et Mathématiques
PY  - 1993
SP  - 1
EP  - 15
IS  - 6
PB  - IREM Paris-Nord
UR  - http://archive.numdam.org/item/SPHM_1993___6_A1_0/
LA  - fr
ID  - SPHM_1993___6_A1_0
ER  - 
%0 Journal Article
%A Gauthier, Yvon
%T Hilbert et la logique interne des mathématiques
%J Séminaire de Philosophie et Mathématiques
%D 1993
%P 1-15
%N 6
%I IREM Paris-Nord
%U http://archive.numdam.org/item/SPHM_1993___6_A1_0/
%G fr
%F SPHM_1993___6_A1_0
Gauthier, Yvon. Hilbert et la logique interne des mathématiques. Séminaire de Philosophie et Mathématiques, Hilbert et la logique interne des mathématiques, no. 6 (1993), pp. 1-15. http://archive.numdam.org/item/SPHM_1993___6_A1_0/

1. Y. Gauthier "Constructivity and the Internal Logic of Mathematics" - Exact Sciences and their Philosophical Foundations Vorträge des Internationalen Hermann Weyl - Kongresses, Kiel, 1985, hrsg. v. W. Deppert et alii, Verlag Peter Lang, (Frankfurt am Main: 1988), pp. 311-323. | Zbl

2. Y. Gauthier "Finite Arithmetic with infinite Descent" Dialectica, vo. 43, Fasc. 4, 1989, pp. 329-337. | MR | Zbl

3. Y. Gauthier La logique interne, Paris, collection Mathesis, Vrin, 1991. | MR

4. D. Hilbert "Ueber das Unendliche" Math. Ann., B. 95 (1926), pp. 161-190. | JFM | MR

5. D. Hilbert Gesammelte Abhandlungen, 3 Bände, Chelsea, New-York, 1932, 1933, 1935. | JFM | Zbl

6. D. Hilbert "Die Grundlagen der elementaren Zahlenlehre" Math. Ann., Bd. 104, Heft 4, pp. 485-494. | JFM | MR | Zbl

7. K. Ireland and M. Rosen A Classical Introduction to Modern Number Theory Springer-Verlag (New York, Heidelberg, Berlin, 1982). | MR | Zbl

8. G. Kreisel "Hilbert's Programme" Dialectica 12 (1958), pp. 346-372. Révisé avec un "Postcript" dans Philosophy of Mathematics, ed. by P. Benacerraf and H. Putnam, 2nd ed. Englewood Cliffs, N. J., (Prentice-Hall: 1983). | MR | Zbl

9. L. Kronecker Werke, hrsg. K. Hensel, 5 Bände, Chelsea, (New-York, 1968).

10. E. Nelson Predicative Arithmetic, Mathematical Notes 32, Princeton University Press, (Princeton, N.J., 1986). | MR | Zbl

11. E. Nelson "Internal Set Theory: a new approach to nonstandard analysis" Bull. Amer. Math. Soc 83 (1977), pp. 1165-1198. | MR | Zbl