A review of computability theory which determines problems that cannot be solved by existing computer programs. The book concentrates on the presentation of basic concepts as opposed to the formal mathematical aspects.

Computability Theory 1991, Prentice Hall

ISBN-13: 9780131619364

3rd edition

Hardcover

Select