- Programs are Proofs: 19th centry logic and 21st centry computing by Philip Waldler, 2000
- Proofs and Types by Jean-Yves Girard, Paul Taylor, and Yves Lafont, 1989-2003
- Logic for Computer Science: Foundations of Automatic Theorem Proving by Jean Gallier, 1986-2003
Connection Between Logic and Computer Science
- Lectures on the Curry-Howard Isomorphism, Morten Heine B. Sorensen and Pawel Urzyczyn, 1998
- Logic in Computer Science: modelling and reasoning about systems (2nd ed. 2004) by Michael Huth and Mark Ryan
계속 추가됩니다. Let's research...