K. Gödel

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

K. Gödel, 1931 .

Die Vollständigkeit der Axiome des logischen Funktionenkalküls

K. Gödel, 1930 .

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

K. Gödel, 1931 .

Zum Entscheidungsproblem des logischen Funktionenkalküls

K. Gödel, 1933 .

Diskussion zur Grundlegung der Mathematik

K. Gödel, Kurt Gödel, 1931 .

Review of Skolem's Über die Unmöglichkeit Einer Vollständigen Charakterisierung der Zahlenreihe Mittels Eines Endlichen Axiomensystems

K. Gödel, J. W. Dawson, Robert Vaught, 1990 .