An extension of the Kreisel-Putnam system

  • N. Georgieva
Article
  • 18 Downloads

Keywords

Mathematical Logic 

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