On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic (1992)

by Andrew M. Pitts
Venue:JOURNAL OF SYMBOLIC LOGIC
Citations:28 - 0 self