A Framework for Priority Arguments - Rilegato

Lerman, Manuel

 
9780521119696: A Framework for Priority Arguments

Sinossi

This book presents a unifying framework for using priority arguments to prove theorems in computability.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

Manuel Lerman is a Professor Emeritus of the Department of Mathematics at the University of Connecticut. He is the author of Degrees of Unsolvability: Local and Global Theory, has been the managing editor for the book series Perspectives in Mathematical Logic, has been an editor of Bulletin for Symbolic Logic, and is an editor of the ASL's Lecture Notes in Logic series.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.