TY - JOUR AU - Walter Dubislav TI - Elementarer Nachweis der Widerspruchslosigkeit des Logik-Kalküls. JO - Journal für die reine und angewandte Mathematik PY - 1929 SP - 107 EP - 112 VL - 161 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/JRAM_1929__161_149697/ ID - JRAM_1929__161_149697 ER -