
Conte aos seus amigos sobre este item:
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
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 9 de julho de 1998 |
ISBN13 | 9780444898401 |
Editoras | Elsevier Science & Technology |
Páginas | 810 |
Dimensões | 156 × 234 × 43 mm · 1,32 kg |
Editor | Buss, S.R. (Dept. of Mathematics and Computer Science, University of California, San Diego, La Jolla, CA, USA) |
Ver tudo de Samuel R Buss ( por exemplo Hardcover Book )