Archiv für mathematische Logik und Grundlagenforschung

, Volume 16, Issue 3, pp 177–186

On 2nd order intuitionistic propositional calculus with full comprehension

Authors

  • 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