Structural Proof Theory
Jan (University of Helsinki) von Plato, Sara (University of Helsinki) Negri
Cambridge University Press, 2001
149,95 €On orderDelivery: 2-3 weeks
Structural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a work of research that will be of interest to specialists. A special feature is a downloadable computer program for developing proofs interactively.
- ISBN-13
- 9780521793070
- ISBN-10
- 0521793076
- Publisher
- Cambridge University Press
- Year
- 2001
- Publication date
- 2001-06-18
- Pages
- 276
- Dimensions
- 235x160x21
- Weight
- 599