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

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