Manuel (University of Connecticut) Lerman Forfatter
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
A Framework for Priority Arguments (Bog, Hardback, Engelsk)
This book presents a unifying framework for using priority arguments to prove theorems in computability.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Degrees of Unsolvability: Local and Global Theory (Bog, Hardback, Engelsk)
This volume presents a systematic study of the interaction between local and global degree theory. It introduces the reader to the fascinating combinatorial methods of recursion theory while simultaneously showing how to use these methods to prove global theorems about degrees.
Levering: Print on Demand (forvent 14 - 30 hverdage)
