Provides an introduction to contemporary computability theory, techniques, & results. This title
Includes:: both the standard material for a first course in computability & more advanced looks at degree structures, forcing, priority methods, & determinacy.