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.