COMPUTABILITY THEORY: AN INTRODUCTION

By Q. KAVIN

1 The Computability Concept 1 2 General Recursive Functions 29 3 Programs and Machines 53 4 Recursive Enumerability 79 5 Connections to Logic 103 6 Degrees of Unsolvability 121 7 Polynomial-Time Computability 139