Original language | English |
---|---|
Pages (from-to) | 177-186 |
Number of pages | 10 |
Journal | Archive for Mathematical Logic |
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
31
Scopus
citations