, 1969, The achievements of logical formalization, in L. Gabriel (ed.), Sektionen I-IV, Freiburg-Basel-Wien, Herder, pp. 198-201.