Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Archiv für Mathematische Logik und Grundlagenforschung (1957)

by G Kreisel, H Putnam