A Framework for Priority Arguments Hardback: 34 (Lecture Notes in Logic, Series Number 34) - Tapa dura

Lerman

 
9780521119696: A Framework for Priority Arguments Hardback: 34 (Lecture Notes in Logic, Series Number 34)

Sinopsis

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

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.