Articoli correlati a Basic Proof Theory
Sinossi
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
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
Descrizione del libro
This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Basic Proof Theory
Foto dell'editore
Basic proof Theory
Editore:
Cambridge University Press, 1996
ISBN 10: 0521572231
ISBN 13: 9780521572231
Antico o usato
Rilegato
Da: BOOK2BUY, Lynbrook, NY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Hardcover - clean, no marks, clean inside, no dj - from a private collection -. Codice articolo 38150-36.250728
Quantità: 1 disponibili
Foto dell'editore
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Editore:
Cambridge University Press, 1996
ISBN 10: 0521572231
ISBN 13: 9780521572231
Antico o usato
Rilegato
Da: Friends of Pima County Public Library, Tucson, AZ, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Good. Hardcover. NOT Ex-library. Good condition. No dust jacket. Until further notice, USPS Priority Mail only reliable option for Hawaii. Proceeds benefit the Pima County Public Library system, which serves Tucson and southern Arizona. Codice articolo 529UHD000F0C
Quantità: 1 disponibili