Beth and Bernays on intuitionism
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. 135-148. 
@article{PHSC_1998-1999__3_4_135_0,
     author = {Franchella, Miriam},
     title = {Beth and {Bernays} on intuitionism},
     journal = {Philosophia Scientiae},
     pages = {135--148},
     publisher = {\'Editions Kim\'e},
     volume = {3},
     number = {4},
     year = {1998-1999},
     language = {en},
     url = {http://www.numdam.org/item/PHSC_1998-1999__3_4_135_0/}
}
TY  - JOUR
AU  - Franchella, Miriam
TI  - Beth and Bernays on intuitionism
JO  - Philosophia Scientiae
PY  - 1998-1999
SP  - 135
EP  - 148
VL  - 3
IS  - 4
PB  - Éditions Kimé
UR  - http://www.numdam.org/item/PHSC_1998-1999__3_4_135_0/
LA  - en
ID  - PHSC_1998-1999__3_4_135_0
ER  - 
%0 Journal Article
%A Franchella, Miriam
%T Beth and Bernays on intuitionism
%J Philosophia Scientiae
%D 1998-1999
%P 135-148
%V 3
%N 4
%I Éditions Kimé
%U http://www.numdam.org/item/PHSC_1998-1999__3_4_135_0/
%G en
%F PHSC_1998-1999__3_4_135_0
Franchella, Miriam. Beth and Bernays on intuitionism. 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. 135-148. http://www.numdam.org/item/PHSC_1998-1999__3_4_135_0/

Bernays, P. 1930 " Philosophie der Mathematik und die Hilbertsche Beweistheorie", Blätter für Deutsche Philosophie 4, 326-367; also in (1976), 17-60. The quotations in this article come from this last edition. | JFM

Bernays, P. 1935 " Sur le Platonisme dans les mathématiques" in L'enseignement mathématique vol. XXXIV, no 1-2, pp. 52-69; Germ. transl. in (1976a) pp. 62-78. | JFM | Zbl

Bernays, P. 1946 " Quelques Points de vue concernant le problème de l'évidence", Synthese V, pp. 321-326; Germ. transl. in (1976a) pp. 85-91.

Bernays, P. 1948a " Grundsätzliches zur 'philosophie ouverte'", Dialectica 3, 193-199.

Bernays, P. 1948b " Über die Ausdehnung des Begriffes der Komplementarität auf die Philosophie", Synthese VII, 66-70.

Bernays, P. 1960 " Charakterzüge der Philosophie Gonseths", Dialectica 14, 151 -156.

Bernays, P. 1965 " Some Empirical Aspects of Mathematics", in Dockx S. and Bernays P. eds. Information and Prediction in Science, Academic Press, New York, 123-128.

Bernays, P. 1969 " Bemerkungen zur Philosophie der Mathematik" in Akten des XIV internationalen Kongresses für Philosophie, Herder, Wien, pp. 192-198; also in (1976) 170-175.

Bernays, P. 1970a " Die schematische Korrespondenz und die idealisierten Strukturen" in Dialectica 24, pp. 53-66; also in (1976) 176-188. | Zbl

Bernays, P. 1976 Abhandlungen zur Philosophie der Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt. | Zbl

Bernays, P. 1977 " Überlegungen zu Ferdinand Gonseths Philosophie", Dialectica 31, 119-128.

Beth, E.W. 1935a Rede en Aanschouwing in de Wiskunde, Dissertation, Rijksuniversiteit Utrecht, Noordhoff, Groningen. | JFM

Bernays, P. 1935b " Klassieke en moderne scheikunde - Van autonome wetenschap tot onderdeel der natuurkunde", Annalen 5, 35-51 and Algemeen Nederlands Tijdschrift voor Wijsbegeerte en Psychologie 28, 131-147.

Bernays, P. 1938 " Getalbegrip en tijdsaanschouwing", Euclides 15, 190-215.

Bernays, P. 1939 Inleiding tot de wijsbegeerte der wiskunde, Philosophische Bibliotheek, Standaard Boekhandel, Antwerpen-Brussel; Dekker & van de Vegt, Nijmegen-Utrecht.

Bernays, P. 1950 " Critical Epochs in the Development of the Theory of Science", British Journal for the Philosophy of Science 1, 291-302.

Bernays, P. 1951 " A Topological Proof of the Completeness Theorem of Löwenheim-Skolem-Gödel", Indagationes Mathematicae 13, 437-444.

Bernays, P. 1954 " Nieuwentyt's Significance for the Philosophy of Science", Synthese 9, 447-453.

Bernays, P. 1955a L'Existence dans les mathématiques, Gauthier-Villars, Paris; Nauwelaerts, Louvain.

Bernays, P. 1955b Les Fondements logiques des mathématiques, Gauthier-Villars, Paris; Nauwelaerts, Louvain. | Zbl

Bernays, P. 1956 " Semantic Construction of Intuitionistic Logic", Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen Nieuwe Reeks 19, 357-388.

Bernays, P. 1957a La Crise de la raison et la Logique, Gauthier-Villars, Paris; Nauwelaerts, Louvain. | Zbl

Bernays, P. 1957b " La Logique formelle et la pensée naturelle", in Beth, Mays, Piaget (eds.) Épistémologie génétique et recherche psychologique, Paris, 131-134.

Bernays, P. 1958 " Cogito ergo sum. Raisonnement or intuition?", Dialectica 47, 223-233. | Zbl

Bernays, P. 1959 The Foundations of Mathematics, North-Holland, Amsterdam. | Zbl

Bernays, P. 1961 Épistémologie mathématique et psychologie (with J. Piaget). PUF, Paris; Engl. transl. Mathematical epistemology and psychology, Reidel, Dordrecht (1966). Quotations in this article corne from the English edition.

Bernays, P. 1964 Door wetenschap tot wijsheid, Van Gorcum, Assen.

Franchella, M. 1997a " Paul Bernays' Epistemological Way Towards Gonseth's Theory", CUEM, Milano.

Franchella, M. 1997b " The Philosophy of Mathematics in Hilbert's Circle" in M Franchella Some Contribution to the History of Logic in the 20th Century, CUEM, Milano, 43-84.

Heyting, A. 1949 " Spanningen in de wiskunde", Euclides 25, 233-236, 301-312.

Heyting, A. 1956 Intuitionism: an Introduction. North-Holland, Amsterdam. | Zbl

Heyting, A. 1958a " Blick von der intuitionistische Warte", Dialectica 12, 332-345. | Zbl

Heyting, A. 1958b " Intuitionism in Mathematics, in Klibansky (ed.) Philosophy in the mid-century. La Nuova Italia, Firenze, 101-115. | Zbl

Heyting, A. 1962 " After thirty Years", in Nagel-Suppes-Tarski (eds.) Logic, Methodology and Philosophy of Science, Stanford U. P., 194-197. | Zbl