Proofs and Computations
Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Cambridge University Press, 2011
120,95 €On orderDelivery: 2-3 weeks
Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of proof theory in both classical and constructive arithmetics, up to finitely iterated inductive definitions. Deep connections with computability, complexity and program extraction form the principal themes.
- ISBN-13
- 9780521517690
- ISBN-10
- 0521517699
- Publisher
- Cambridge University Press
- Year
- 2011
- Publication date
- 2011-12-15
- Pages
- 480
- Dimensions
- 158x233x29
- Weight
- 884