Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
TroelstraSchwichtenberg
ISBN 10: 0521779111 ISBN 13: 9780521779111
Editore: Cambridge University Press, 2000
Usato
Paperback
Da
WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 16 marzo 2007
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
The book has been read but remains in clean condition. All pages are intact and the cover is intact. Some minor wear to the spine. Codice articolo GOR015093566
Riassunto:
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
Recensione: 'This is a fine book. Any computer scientist with some logical background will benefit from studying it. It is written by two of the experts in the field and comes up to their usual standards of precision and care.' Ray Turner, Computer Journal
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Basic Proof Theory 2ed: 43 (Cambridge Tracts...
Casa editrice: Cambridge University Press
Data di pubblicazione: 2000
Legatura: Paperback
Condizione: Good
Edizione: seconda edizione