1. P. Aczel. Saturated intuitionistic theories. In [Schmidt, Schlitte and Thiele, 1968, pp. 1–11].
2. S. Artemov. Explicit provability: the intended semantics for intuitionistic and modal logic. Bull. Symb. Logic, 7, 1–36, 2001.
3. M. van Atten and D. van Dalen. Arguments for Brouwer’s continutity principle. Forthcoming.
4. Avigad and S. Feferman. Gödel’s functional (‘Dialectics’) interpretation. In Handbook of Proof Theory, S. R. Buss, ed. pp. 337–406. Elsevier, Amsterdam, 1998.
5. H.Y. Barendregt. The Lambda Calculus. Its Syntax and Semantics. North-Holland, Amsterdam, 1984, 2nd reprint edition in paperback, 1997.