3. Grundgedanke der Beweistheorie. Methoden.
Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.2, GDML_Books, (1950), p. 6 / Harvested from
Access to full text 
@article{PPN361751974+dmdlog8,
     title = {3. Grundgedanke der Beweistheorie. Methoden.},
     booktitle = {Encyklop\"adie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.2},
     series = {GDML\_Books},
     year = {1950},
     pages = {6},
     url = {http://dml.mathdoc.fr/item/PPN361751974+dmdlog8}
}

 (éd.). 3. Grundgedanke der Beweistheorie. Methoden., dans Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.2, GDML_Books,  (1950), p. 6. http://gdmltest.u-ga.fr/item/PPN361751974+dmdlog8/