An Introduction To Proof Theory: Normalization, Cut-elimination, And Consistency Proofs

September 12, 2021|
An Introduction To Proof Theory: Normalization, Cut-elimination, And Consistency Proofs by Paolo Mancosu
$115.50
Hardcover
Earn 578 plum® points
Buy Online
Ship to an address
Ships within 1-3 weeks.Free shipping on orders over $35
Pick up in store
To see if pickup is available,
Find In Store
Not sold in stores
Prices and offers may vary in store
Title:An Introduction To Proof Theory: Normalization, Cut-elimination, And Consistency Proofs
Format:Hardcover
Product dimensions:432 pages, 9.21 X 6.14 X 0.98 in
Shipping dimensions:432 pages, 9.21 X 6.14 X 0.98 in
Published:September 12, 2021
Publisher:Oxford University Press
Language:English
Appropriate for ages:All ages
ISBN - 13:9780192895936

Recently Viewed
|