1. The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations;Beeson;J. Symbolic Logic,1975
2. On the provability logic of bounded arithmetic;Berarducci;Ann. Pure Appl. Logic,1993
3. The Logic of Provability;Boolos,1993
4. Fragments of Heyting-arithmetic;Burr;J. Symbolic Logic,2000
5. The maximality of the intuitionistic predicate calculus with respect to Heyting's arithmetic;de Jongh;J. Symbolic Logic,1970