, I-IV, Some remarks on the concept of completeness of the propositional calculus, in L. Gabriel (ed.), Sektionen I-IV, Freiburg-Basel-Wien, Herder, pp. 121-123.