Starting Point

Introduction to Logic

• 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...