TY - JOUR AU - D. Hilbert TI - Beweis des Tertium non datur JO - Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse PY - 1931 SP - 120 EP - 125 VL - 1931 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/NGWGMP_1931__1931_59342/ ID - NGWGMP_1931__1931_59342 ER -