Fr. 115.00

Classical Recursion Theory - The Theory of Functions and Sets of Natural Numbers

Inglese · Tascabile

In fase di riedizione, attualmente non disponibile

Descrizione

Ulteriori informazioni

Includes a number of applications to logic (in particular Godel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation. This book presents a comprehensive reference for the subject starting from first principles.

Dettagli sul prodotto

Autori P. (University of Turin Odifreddi
Editore ELSEVIER SCIENCE BV
 
Lingue Inglese
Formato Tascabile
Pubblicazione 04.02.1992
 
EAN 9780444894830
ISBN 978-0-444-89483-0
Pagine 692
Serie Studies in Logic and the Foundations of Mathematics
Categoria Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.