A Framework for Priority Arguments - Couverture rigide

Lerman, Manuel

 
9780521119696: A Framework for Priority Arguments

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.