La philosophies des mathématiques de E. W. Beth
Philosophia Scientiae, Un logicien consciencieux. La philosophie de Evert Willem Beth. Actes du Colloque Everth Willem Beth, Archives Henri-Poincaré et Fondation E.W Beth, Nancy, 22-24 avril 1998., Tome 3 (1998-1999) no. 4, pp. 77-92. 
@article{PHSC_1998-1999__3_4_77_0,
     author = {Heinzmann, Gerhard},
     title = {La philosophies des math\'ematiques de {E.} {W.} {Beth}},
     journal = {Philosophia Scientiae},
     pages = {77--92},
     publisher = {\'Editions Kim\'e},
     volume = {3},
     number = {4},
     year = {1998-1999},
     language = {fr},
     url = {http://www.numdam.org/item/PHSC_1998-1999__3_4_77_0/}
}
TY  - JOUR
AU  - Heinzmann, Gerhard
TI  - La philosophies des mathématiques de E. W. Beth
JO  - Philosophia Scientiae
PY  - 1998-1999
SP  - 77
EP  - 92
VL  - 3
IS  - 4
PB  - Éditions Kimé
UR  - http://www.numdam.org/item/PHSC_1998-1999__3_4_77_0/
LA  - fr
ID  - PHSC_1998-1999__3_4_77_0
ER  - 
%0 Journal Article
%A Heinzmann, Gerhard
%T La philosophies des mathématiques de E. W. Beth
%J Philosophia Scientiae
%D 1998-1999
%P 77-92
%V 3
%N 4
%I Éditions Kimé
%U http://www.numdam.org/item/PHSC_1998-1999__3_4_77_0/
%G fr
%F PHSC_1998-1999__3_4_77_0
Heinzmann, Gerhard. La philosophies des mathématiques de E. W. Beth. Philosophia Scientiae, Un logicien consciencieux. La philosophie de Evert Willem Beth. Actes du Colloque Everth Willem Beth, Archives Henri-Poincaré et Fondation E.W Beth, Nancy, 22-24 avril 1998., Tome 3 (1998-1999) no. 4, pp. 77-92. http://www.numdam.org/item/PHSC_1998-1999__3_4_77_0/

Bell, J.L. et Somson, A. B. 1971 Models and Ultraproducts: An Introduction, London/New York : North-Holland. Elsevier. | Zbl

Beth, Evert William 1937 L'Évidence intuitive dans les mathématiques modernes, in : Congrès Descartes, ASI, Paris : Hermann, 161-165. | JFM

Beth, Evert William 1950 Les Fondements logiques des mathématiques, Paris/Louvain : Gauthier-Villars/Nauwelaerts. | Zbl

Beth, Evert William 1957 La Beth 1957 de la raison et la logique, Paris/Louvain : Gauthier-Villars/Nauwelaerts. | Zbl

Beth, Evert William 1963 Carnap's View's on the Advantages of Constructed Systems Over Natural Languages in the Philosophy of Science, in : The Philsophy of Rudolf Carnap (ed. P. A. Schtlpp), La Salle : Opencourt, 469-502.

Beth, Evert William 1965a Mathematical Thought, An Introduction to the Philosophy of Mathematics, Dordrecht : Reidel. | Zbl

Beth, Evert William 1965b The Foundations of Mathematics (1 1959), Amsterdam: North-Holland. | Zbl

Beth, Evert William/ Piaget, Jean 1961 Epistémologie mathématique et psychologie, essai sur les relations entre la logique formelle et la pensée réelle. Etudes d'épistémologie génétique, vol. 14, Paris : P. U. F.

Bernays, Paul 1949 Die Erneuerung der rationalen Aufgabe, in : Proceedings of the Int. Congress of Philosophy, Vol. 1, Amsterdam, 42-50. | Zbl

Bernays, Paul 1950 Mathematische Existenz und Widerspruchsfreiheit, in : P. B., Abhandlungen zur Philosophie der Mathematik, Wissenschaftliche Buchgesellschaft : Darmstadt 1976, 92-106.

Bernays, Paul 1961 Die hohen Unendlichkeiten und die Axiomatik der Mengenlehre, in : Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw 1959, Oxford/London/Warszawa : Pergamon/Panstwowe, 11 -20. | Zbl

Carnap, Rudolf 1950 Empiricism, Semantics, and Ontology, in : R.C., Meaning and Necessity, Chicago/London, Univ. of Chicago Press, 1958, 205-221. | Zbl

Fraasen Van, Bas C. 1971 Formal Semantics and Logic, New York/London : Macmillan. | Zbl

Fraenkel et al. 1984 Foundations of Set Theory, Amsterdam : North-Holland. | Zbl

Gonseth, Ferdinand 1948a Les Conceptions mathématiques et le réel, in : Les sciences et le réel, ASI 1061, Paris : Hermann, 31-60.

Gonseth, Ferdinand 1948b A propos des Exposés de MM. Ph. Devaux et E.W. Beth, Dialectica 2, 120-125.

Heinzmann, Gerhard 1982 Schematisierte Strukturen. Eine Untersuchung über den Idoneismus Ferdinand GONSETHS auf dem Hintergrund eines konstruktivistischen Ansatzes, Bem: Haupt.

Hintikka, Jaakko 1996 The Principles of Mathematics Revisited, Cambridge : University Press. | Zbl

Kleene, Stephen Cole 1980 Introduction to Metamathematics (1 1952), Amsterdam/Groningen: North-Holland. | Zbl

Kleene, Stephen Cole 1987 Logique Mathématique, Paris : Gabay.

Ladrière, Jean 1957 Les Limitations internes des formalismes, Paris/Louvain : Gauthier-Villars/Nauwelaerts.

Martin, Roger 1964 Logique contemporaine et formalisation, Paris : PUF.

Moore, Gregory H. 1988 The Emergence of First-Order Logic, in : History and Philosophy of Modern Mathematics (ed. W. Aspray/ Ph. Kitcher), Minneapolis : Univ. of Minnesota Press, 95-135.

Mostowski, Andrzej 1966 Thirty Years of Foundational Studies, Oxford : Basil Blackwell. | Zbl

Mcnaughton, Robert 1957 Conceptual Schemes in Set Theory, The Philosophical Review 61, 66-80.

Poincaré, Henri 1911 Les Sciences et les humanités, Paris : A. Fayard.

Quine, Willard Van Orman 1976 Ontological Reduction and the World of Numbers, in : The Ways of Paradox and other essays, Cambridge (Mass) : Harvard Univ. Press, 212-220.

Rasiowa, Helena/Sikorski, Roman 1970 The Mathematics of Metamathematics, Warsawa : Polish Scientific Publishers.

Skolem, Thoralf 1970 Selected Works in Logic (ed. J.E. Fenstad), Oslo/Bergen/Tromsö : Universitetsforlaget. | Zbl