Zum intuitionistischen Aussagenkalkül, Akademie des Wissenschaften in (1932)

by Kurt Gödel
Venue:Wien, Mathematisch-naturwissenschaftliche Klasse, Anzeiger