1. J. L. Bell. Toposes and Local Set Theories: an introduction, volume 14 of Oxford Logic Guides. OUP, Oxford, 1990.
2. E. W. Beth. The Foundations of Mathematics. North-Holland, Amsterdam, 1959.
3. W. Bibel. Computationally improved versions of Herbrand’s Theorem. In J. Stern, editor, Proceedings of the Herbrand Symposium, Logic Colloquium ’81, pages 11–28, Amsterdam, 1982. North-Holland Publishing Co.
4. Constable et al.,1986) R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, F. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendier, P. Panandagen, J. T. Sasaki, and S. F. Smith. Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall, Englewood Cliffs, New Jersey, 1986.
5. T. Coquand. Metamathematical investigations of a calculus of constructions. In P. Odifreddi, editor, Logic and Computer Science, volume 31 of APIC, pages 91–122. Academic Press, London, 1990.