Literature for Introduction to Computational Logic


Link to the Homepage: Introduction to Computational Logic


Biographies of important logicians

no image available Andrews, Peter B.
An introduction to mathematical logic and type theory:
To truth through proof
Kluwer Academic Publishers 2002
no image available Baader, Franz and Nipkow, Tobias
Term rewriting and all that
Cambridge University Press 1999
no image available Bertot, Yves and Casteran, Pierre
Interactive theorem proving and program development
Springer 2004
no image available Forster, Thomas
Logic, induction and sets
Cambridge Univ. Press 2003
no image available Girard, Jean-Yves
Proof and types
Cambridge University Press 1993
no image available Hindley, James Roger and Seldin Jonathan P.
Lambda-calculus and combinators
Cambridge University Press 2008
no image available Institute for advanced study
Homotopy type theory
Princeton, NJ 2013
  • print: UFM n 2013:1 1.Ex
no image available Luo, Zhaohui
Computation and reasoning:
A type theory for computer science
Oxford University Press 2002
  • print: LUO z 2002:1 1.Ex
no image available Per, Martin-Löf
Intuitionistic type theory
Bibliopolis 1984
no image available Prawitz, Dag
Natural deduction:
A proof-theoretical study
Dover Publications 2006
  • print: PRA d3 2006:1 1.Ex
no image available Robinson, Alan
Handbook of automated reasoning - Band 2
Course relevant article:
Proof assistants using dependent type systems (p. 1149-1238)
by Barendregt, Henk and Geuvers, Herman
North Holland 2001
no image available Sørensen, Morten Heine and Urzyczyn, Pawel
Lectures on the Curry-Howard isomorphism
Elsevier 2006
no image available Troelstra, Anne Sjerp and Schwichtenberg, Helmut
Basic proof theory
Cambridge University Press 2003