Gentzen Systems

  • Raymond M. Smullyan
Part of the Ergebnisse der Mathematik und ihrer Grenzgebiete book series (MATHE2, volume 43)

Abstract

We have written this section so that it can be read directly following Chapter II.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin · Heidelberg 1968

Authors and Affiliations

  • Raymond M. Smullyan
    • 1
  1. 1.Lehman CollegeCity University of New YorkUSA

Personalised recommendations