Advertisement

Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül

  • G. Kreisel
  • H. Putnam
Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    H. Hiz, Remarque sur le degré de complétude, CR 223 (1946), 973–974.Google Scholar
  2. [2]
    S. C. Kleene, Introduction, to metamathematics, 1952, Amsterdam.Google Scholar
  3. [3]
    J. łukasiewicz, On the intuitionistic theory of deduction, Indagationes XIV (1952), 202–212.Google Scholar

Copyright information

© W. Kohlhammer Verlag 1957

Authors and Affiliations

  • G. Kreisel
    • 1
  • H. Putnam
    • 1
  1. 1.Princeton

Personalised recommendations