Beweistheorie von KPN.
Jäger, Gerhard
Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), p. 53-64 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1980-01-01
EUDML-ID : urn:eudml:doc:137960 
@article{GDZPPN002045095,
     title = {Beweistheorie von KPN.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {20},
     year = {1980},
     pages = {53-64},
     language = {de},
     url = {http://dml.mathdoc.fr/item/GDZPPN002045095}
}

Jäger, Gerhard. Beweistheorie von KPN.. Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980) pp. 53-64. http://gdmltest.u-ga.fr/item/GDZPPN002045095/