An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Product ID: 0192895931
Condition: New
$ 352
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
ozow
Product Description
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Technical Specifications
Country
USA
Brand
Oxford University Press, USA
Manufacturer
Oxford University Press
Binding
Hardcover
Height
6.2
Length
9
Weight
1.79897205792
Width
1.2
NumberOfItems
1
Author
Mancosu, Paolo, Galvan, Sergio, Zach, Richard
