论文信息 - On a generalization of quantifiers - 字舞流文

On a generalization of quantifiers

[1] M. Draeger. D. Hilbert und W. Ackermann, Grundzüge der theoretischen Logik, (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Bd. XXVII). 3. Aufl., VIII + 155 S. Berlin-Göttingen-Heidelberg 1949. Springer-Verlag. Preis: brosch. 16,50 , 1950 .

[2] F. I. Mautner. An Extension of Klein's Erlanger Program: Logic as Invariant-Theory , 1946 .

[3] A. Tarski,et al. Über die Beschränktheit der Ausdrucksmittel deduktiver Theorien , 1936 .

[4] Alfred Tarski,et al. Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .

[5] T. Skolem. Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen , 1934 .