3
Computability theory
III Logic
3
Computabilit
y
theory
Contents
3.1 Computability
3.2 Decidable and semi-decidable sets
3.3 Computability elsewhere
3.4 Logic
3.5 Computability by λ-calculus
3.6 Reducibility
< 2.4
Table of Contents
3.1 >