On 2nd order intuitionistic propositional calculus with full comprehension.

Dov M. Gabbay

Archiv für mathematische Logik und Grundlagenforschung (1974)

  • Volume: 16, page 177-186
  • ISSN: 0003-9268

How to cite

top

Gabbay, Dov M.. "On 2nd order intuitionistic propositional calculus with full comprehension.." Archiv für mathematische Logik und Grundlagenforschung 16 (1974): 177-186. <http://eudml.org/doc/137894>.

@article{Gabbay1974,
author = {Gabbay, Dov M.},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
pages = {177-186},
title = {On 2nd order intuitionistic propositional calculus with full comprehension.},
url = {http://eudml.org/doc/137894},
volume = {16},
year = {1974},
}

TY - JOUR
AU - Gabbay, Dov M.
TI - On 2nd order intuitionistic propositional calculus with full comprehension.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1974
VL - 16
SP - 177
EP - 186
UR - http://eudml.org/doc/137894
ER -

NotesEmbed ?

top

You must be logged in to post comments.