Gödel, Kurt: Über die Vollständigkeit der Axiome des logischen Funktionenkalküls. Dissertation 1929. In: Monatshefte für Mathematik und Physik. Akademische Verlagsgesellschaft, Leipzig 37.1930, 2, S. 349–360. (Auch in: Erg. 3.1932, S. 12–13)