7. Axiomatisierung des Prädikatenkalküls.
Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.1, GDML_Books, (1952), p. 37 / Harvested from
Access to full text 
@article{PPN361748809+dmdlog13,
     title = {7. Axiomatisierung des Pr\"adikatenkalk\"uls.},
     booktitle = {Encyklop\"adie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.1},
     series = {GDML\_Books},
     year = {1952},
     pages = {37},
     url = {http://dml.mathdoc.fr/item/PPN361748809+dmdlog13}
}

 (éd.). 7. Axiomatisierung des Prädikatenkalküls., dans Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.1, GDML_Books,  (1952), p. 37. http://gdmltest.u-ga.fr/item/PPN361748809+dmdlog13/