4.6 Bibliography

1. Burstall, R., An interactive proof editor, Computer Science Department, University of Edinburgh, 1986.
2. Constable, R., Implementing Mathematics with the NuPrl Proof Development System, Prentice-Hall, Inc., New Jersey 1986.
3. Dyckhoff, R., Contraction-free sequent calculi for intuitionistic logic, Journal of Symbolic Logic 57 (1992), pp 795-807.
4. Fitting, M., First-order logic and automatic theorem proving, Springer-Verlag, 1990.
5. Forbes, G., Modern Logic, Oxford University Press.
6. Gentzen, G. Collected papers, ed. M. Szabo, North-Holland 1958.
7. Hamilton, A. PicTT - Programming in Constructive Type Theory, Computer Science Dept, University of Stirling, 1989.
8. Hughes, G. E. & Cresswell, J, An introduction to modal logic, Methuen, London, 1968.
9. Lemmon, E., Beginning Logic, Nelson, London, 1965.
10. Lewis, C.I., Symbolic Logic, The Century Co., New York & London, 1932.
11. Martin-Löf, P., Intuitionistic type theory, Bibliopolis, Naples, 1984.
12. Negri, S & von Plato, J., Structural Proof Theory, submitted, 1999.
13. Pollack, R. Lego - an implementation of the Calculus of Constructions, Computer Science Department, University of Edinburgh, 1988.
14. Prawitz, D., Natural deduction, Almquist & Wiksell, Uppsala, 1965.
15. Read, S.L. & Wright, C., Formal logic: anintroduction to first-order logic, Logic & Metaphysics Dept, University of St Andrews, 1989 (& 1990, 1991, 1992, ...)
16. Sundholm, G., "Systems of Deduction", in Handbook of Philosophical Logic, vol I, ed. D. Gabbay & F. Guenthner; D. Reidel Pub. Co., Dordrecht, 1983, pp 133-188.
17. Troelstra, A.S & Schwichtenberg, H., Basic Proof Theory, Cambridge Univesriy Press 1996.
18. Zeman, J.J., Modal logic: the Lewis modal systems, Clarendon Press, Oxford, 1973.