Introduction to Computability Theory by Dag Normann
Publisher: The University of Oslo 2010
Number of pages: 95
This text is essentially consisting of two parts, Classical Computability Theory and Generalized Computability Theory. We will assume that the reader is familiar with the standard vocabulary of logic and set theory, but no advanced background from logic is required.
Computers & Internet Computer Science Theory of Computation Computability Theory