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
$38.50
Paperback
Earn 193 plum® points
Buy Online
Ship to an address
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:Paperback
Product dimensions:432 pages, 9.21 X 6.14 X 0.68 in
Shipping dimensions:432 pages, 9.21 X 6.14 X 0.68 in
Published:September 12, 2021
Publisher:Oxford University Press
Language:English
Appropriate for ages:All ages
ISBN - 13:9780192895943

Recently Viewed
|