Bøger af Robert I. Soare

This book emphasizes three very important concepts: computability, as opposed to recursion or induction; classical computability; and the art of computability, a skill to be practiced but also important in an esthetic sense of beauty and taste in mathematics.

Presents an account of the theory of recursively enumerable degrees. This book is suitable for those interested in logic.