@article{GDZPPN002170957,
title = {Elementarer Nachweis der Widerspruchslosigkeit des Logik-Kalk\"uls.},
journal = {Journal f\"ur die reine und angewandte Mathematik},
volume = {160},
year = {1929},
pages = {107-112},
zbl = {55.0033.03},
url = {http://dml.mathdoc.fr/item/GDZPPN002170957}
}
Dubislav, Walter. Elementarer Nachweis der Widerspruchslosigkeit des Logik-Kalküls.. Journal für die reine und angewandte Mathematik, Tome 160 (1929) pp. 107-112. http://gdmltest.u-ga.fr/item/GDZPPN002170957/