Logic and Computability
Daniel Naylor

Contents
1Non-classical Logic
1.1Intuitionistic Logic

Rules for Intuitionistic Propositional Calculus (IPC)
1.2The simply typed λ-calculus
1.3The Curry-Howard Correspondence
1.4Semantics for IPC
1.5Negative translations
2Computability
2.1Recursive functions and λ-computability
2.2Decidability in Logic
Index