On 2nd order intuitionistic propositional calculus with full comprehension

Dov M. Gabbay

Research output: Contribution to journalArticlepeer-review

31 Scopus citations
Original languageEnglish
Pages (from-to)177-186
Number of pages10
JournalArchive for Mathematical Logic
Volume16
Issue number3-4
DOIs
StatePublished - Aug 1974

Cite this