
Degrees of Unsolvability
Manuel Lerman
₹4,956

Free delivery. Nothing extra to pay at checkout.
This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs.
Description supplied by the publisher.