An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency
55,27 €
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area ofmathematical logic and the philosophy of mathematics.
Jetzt bei Ebay:
![Produktbild - An Introduction To The Theory And Design Of Sonar Transducers / [Leather Bound]](https://i.ebayimg.com/thumbs/images/g/C5kAAOSw2O1l0Itu/s-l140.jpg)
