On 2nd order intuitionistic propositional calculus with full comprehension

Dov M. Gabbay

Research output: Contribution to journal › Article › peer-review

34 Scopus citations

Original language	English
Pages (from-to)	177-186
Number of pages	10
Journal	Archiv für Mathematische Logik und Grundlagenforschung
Volume	16
Issue number	3-4
DOIs	https://doi.org/10.1007/BF02015377
State	Published - Aug 1974

Access to Document

@article{9dabd0a3fc6e42609da5dd9e6443dcdd,

title = "On 2nd order intuitionistic propositional calculus with full comprehension",

author = "Gabbay, \{Dov M.\}",

year = "1974",

month = aug,

doi = "10.1007/BF02015377",

language = "אנגלית",

volume = "16",

pages = "177--186",

journal = "Archiv f{\"u}r Mathematische Logik und Grundlagenforschung",

issn = "0933-5846",

publisher = "Springer New York",

number = "3-4",

}

TY - JOUR

T1 - On 2nd order intuitionistic propositional calculus with full comprehension

AU - Gabbay, Dov M.

PY - 1974/8

Y1 - 1974/8

UR - https://www.scopus.com/pages/publications/0002784179

U2 - 10.1007/BF02015377

DO - 10.1007/BF02015377

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0002784179

SN - 0933-5846

VL - 16

SP - 177

EP - 186

JO - Archiv für Mathematische Logik und Grundlagenforschung

JF - Archiv für Mathematische Logik und Grundlagenforschung

IS - 3-4

ER -