Advertisement

An extension of the Kreisel-Putnam system

  • N. Georgieva
Article
  • 18 Downloads

Keywords

Mathematical Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Kreisel, G., and Putnam, H.: „Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkul“. Archiv für Mathematische Logik und Grundlagenforschung (1957) Vol. 3, pp. 74–78.CrossRefGoogle Scholar
  2. [2]
    Kleene, S.: “Introduction to Metamathematics”. Princeton, 1964.Google Scholar

Copyright information

© Verlag W. Kohlhammer 1974

Authors and Affiliations

  • N. Georgieva
    • 1
  1. 1.Sofia

Personalised recommendations