
Tell your friends about this 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
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | July 9, 1998 |
ISBN13 | 9780444898401 |
Publishers | Elsevier Science & Technology |
Pages | 810 |
Dimensions | 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) |
See all of Samuel R Buss ( e.g. Hardcover Book )