Archiv für mathematische Logik und Grundlagenforschung

, Volume 16, Issue 3, pp 177–186

On 2nd order intuitionistic propositional calculus with full comprehension

  • Dov M. Gabbay
Article

DOI: 10.1007/BF02015377

Cite this article as:
Gabbay, D.M. Arch math Logik (1974) 16: 177. doi:10.1007/BF02015377

Copyright information

© Verlag W. Kohlhammer 1974

Authors and Affiliations

  • Dov M. Gabbay
    • 1
  1. 1.Stanford UniversityUSA