Books by Peter G. (University of Michigan Hinman

The theory set out in this volume is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. The author develops a general theory from which the results of both areas can be derived, making the common themes clear.

Covering modern mathematical logic, this introductory graduate text develops students' intuition by presenting complex ideas in the simplest context for which they make sense. It can be used as a classroom text, for self-study, and as a reference on the state of modern logic.