Die Vollstandikeit der Axiome des logischen Funktionenkalkuls (1930)

by K Godel
Venue:Monatsh Math. Phys