Annals of Pure and Applied LogicVolume 27, Issue 2, October 1984, Pages 155-164On some non-classical extensions of second-order intuitionistic propositional calculusAuthor links open overlay panelAndrej ŠčedrovShow moreShareCitehttps://doi.org/10.1016/0168-0072(84)90010-1Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 1983 Published by Elsevier B.V.