Article

Archiv für mathematische Logik und Grundlagenforschung

, Volume 16, Issue 3, pp 177-186

On 2nd order intuitionistic propositional calculus with full comprehension

  • Dov M. GabbayAffiliated with

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access