## On an interpretation of second order quantification in first order intuitionistic propositional logic (1992)

by
Andrew M. Pitts

Venue: | JOURNAL OF SYMBOLIC LOGIC, 57: 33 { 52 |

Citations: | 23 - 0 self |