Recomienda este artículo a tus amigos:
Handbook of Proof Theory - Studies in Logic and the Foundations of Mathematics Samuel R Buss
Handbook of Proof Theory - Studies in Logic and the Foundations of Mathematics
Samuel R Buss
Contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. This book includes the central topics of proof theory. It concludes with articles that deal with topics closely related to computer science.
810 pages
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 9 de julio de 1998 |
| ISBN13 | 9780444898401 |
| Editores | Elsevier Science & Technology |
| Páginas | 810 |
| Dimensiones | 156 × 234 × 43 mm · 1,32 kg |
| Lengua | Inglés |
| Editor | Buss, S.R. (Dept. of Mathematics and Computer Science, University of California, San Diego, La Jolla, CA, USA) |