Literatur
H. Hiz, Remarque sur le degré de complétude, CR 223 (1946), 973–974.
S. C. Kleene, Introduction, to metamathematics, 1952, Amsterdam.
J. łukasiewicz, On the intuitionistic theory of deduction, Indagationes XIV (1952), 202–212.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kreisel, G., Putnam, H. Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül. Arch math Logik 3, 74–78 (1957). https://doi.org/10.1007/BF01988049
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01988049