On 2nd order intuitionistic propositional calculus with full comprehension

Purchase on Springer.com

$39.95 / €34.95 / £29.95*

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access
I am grateful to the referee and to G. Kreisel for pointing out errors in an earlier version.