ゲルハルト・ゲンツェン
“Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen”. Mathematische Annalen 107 (2): pp. 329-350. (1932). http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002275872.
“Untersuchungen über das logische Schließen. I”. Mathematische Zeitschrift 39 (2): pp. 176-210. (1934). http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375508.
“Untersuchungen über das logische Schließen. II”. Mathematische Zeitschrift 39 (3): pp. 405-431. (1935). http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375605.