-
Vorlesung Introduction to Computational Logic
-
Biographies of important logicians
-
Andrews, Peter B.
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Kluwer Academic Publishers
2002
AND p 2002:1 1.Ex
-
Baader, Franz and Nipkow, Tobias
Term Rewriting and All That
Cambridge University Press
1998
BAA f 1998:1 1.Ex
-
Barendregt, Henk and Geuvers, Herman
Proof-checking using Dependent Type Systems
(Handbook of Automated Reasoning, Volume II, 1149--1240)
Elsevier
2001
eBook
-
Bertot, Yves and Casteran, Pierre
Interactive Theorem Proving and Program Development
Springer
2004
BER y 2004:1 1.Ex
-
Bertot, Yves and Casteran, Pierre
Interactive Theorem Proving and Program Development
Springer
2004
eBook
-
Blackburn, Patrick and Rijke, Maarten de
Modal Logic
(Cambridge Tracks in Theoretical Computer Science)
Cambridge University Press
2002
BLA p2 2002:1 1.Ex
-
Enderton, Herbert B.
A Mathematical Introduction to Logic
Academic Press
2002
END h 2002:1 1.Ex
-
Fitting, Melvin
First-Order Logic and Automated Theorem Proving
(Second Edition)
Springer
1996
FIT m 1996:1 1.Ex
-
Forster, Thomas
Logic, Induction and Sets
Cambridge Univ. Press
2003
FOR th 2003:1 1.Ex
-
Girrard, Jean-Yves
Proof and Types
Cambridge University Press
1993
GIR j 1993:1 1.Ex
-
Girrard, Jean-Yves
Proof and Types
Cambridge University Press
1990
eBook
-
Hindley, James Roger and Seldin Jonathan P.
Lambda-Calculus and Combinators
Cambridge University Press
2008
HIN j 2008:1 1.Ex
-
Luo, Zhaohui
Computation and Reasoning: A Type Theory for Computer Science
Oxford University Press
2002
LOU z 2002:1 1.Ex
-
Luo, Zhaohui
Computation and Reasoning: A Type Theory for Computer Science
Oxford University Press
1994
eBook
-
Prawitz, Dag
Natural deducation - a proof-theoretical study
Dover Publications
2006
PRA w3 2006:1 1.Ex
-
Troelstra, Anne Sjerp (Ltg.) and Schwichtenberg, Helmut
Basic proof theory
Cambridge University Press
2000
TRO a 2000:1 1.Ex
|