[next] [tail] [up]

Contents

1Non-classical Logic
1.1Intuitionistic Logic
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

[next] [front] [up]