On 2nd order intuitionistic propositional calculus with full comprehension

Dov M. Gabbay

Research output: Contribution to journalArticlepeer-review

33 Scopus citations
Original languageEnglish
Pages (from-to)177-186
Number of pages10
JournalArchiv für Mathematische Logik und Grundlagenforschung
Volume16
Issue number3-4
DOIs
StatePublished - Aug 1974

Cite this