Die Vollst"andigkeit der Axiome des logischen Funktionenkalk"uls, Monashefte f"ur (1930)

by K Godel