L'existence en mathématiques: Conferénces faites à la Sorbonne au titre des échanges culturels franco-néerlandais du 29 Mars au 7 Avril 1954 - Beth, Evert W (Collection de Logique Mathématique. Serie A, 10, 1956)