Eine Eigenschaft der Realisierungen des Aussagenkalküls. Ergebnisse eines mathematischen Kolloquiums, 3:20–21 (1932)

by Kurt Gödel