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 | |
State | Published - Aug 1974 |
On 2nd order intuitionistic propositional calculus with full comprehension
Dov M. Gabbay
Research output: Contribution to journal › Article › peer-review
33
Scopus
citations