Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit I.
Ackermann, Wilhelm
Archiv für mathematische Logik und Grundlagenforschung, Tome 4 (1958), p. 3-26 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1958-01-01
EUDML-ID : urn:eudml:doc:137740 
@article{GDZPPN00204286X,
     title = {Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsf\"ahigkeit I.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {4},
     year = {1958},
     pages = {3-26},
     zbl = {0083.00107},
     url = {http://dml.mathdoc.fr/item/GDZPPN00204286X}
}

Ackermann, Wilhelm. Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit I.. Archiv für mathematische Logik und Grundlagenforschung, Tome 4 (1958) pp. 3-26. http://gdmltest.u-ga.fr/item/GDZPPN00204286X/