This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its applicat

The description for this book, Advances in Game Theory. (AM-52), Volume 52, will be forthcoming.

In 'Higher Topos Theory', Jacob Lurie presents the foundations of this theory using the language of weak Kan complexes introduced by Boardman and Vogt, and show

The description for this book, Automata Studies. (AM-34), Volume 34, will be forthcoming.