In addition to the technically required cookies, our website also uses cookies for statistical evaluation. You can also use the website without these cookies. By clicking on "I agree" you agree that we may set cookies for analysis purposes. You can see and change your cookie settings here.
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
1957
Enthält: 2 Sonderdrucke des Artikels "Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül" aus Archiv für mathematische Logik und Grundlagenforschung 3 (1957). Auf einem Sonderdruck findet sich eine Annotation von fremder Hand.
