Die Vollständigkeit des Axiome des Logischen Funktionenkalküls, Monatshefte für Mathematik und Physik, vol. 37, 1930 : 349-360.