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

### Cached

### Download Links

by
Andrew M. Pitts

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

Citations: | 28 - 0 self |