Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Spese di spedizione:
EUR 2,46
In U.S.A.
Descrizione libro Condizione: New. Codice articolo 684985-n
Descrizione libro Condizione: New. Buy with confidence! Book is in new, never-used condition. Codice articolo bk0444894837xvz189zvxnew
Descrizione libro Condizione: New. New! This book is in the same immaculate condition as when it was published. Codice articolo 353-0444894837-new
Descrizione libro Condizione: New. Codice articolo ABLIING23Feb2215580212795
Descrizione libro PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9780444894830
Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9780444894830_lsuk
Descrizione libro Paperback. Condizione: New. Codice articolo 6666-IUK-9780444894830
Descrizione libro Condizione: New. Codice articolo 684985-n
Descrizione libro Paperback. Condizione: New. Brand New! This item is printed on demand. Codice articolo 0444894837
Descrizione libro Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9780444894830