Zum intuitionistischen Aussagenkalkül. Anzeiger der Akademie der Wissenschaften in Wien (1932)

by K Gödel
Venue:Mathematisch-Naturwissenschaftliche Klasse