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

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

Oxford University Press
SKU:
9780192895936
|
ISBN13:
9780192895936
$119.24
(No reviews yet)
Condition:
New
Usually Ships in 24hrs
Current Stock:
Estimated Delivery by: | Fastest delivery by:
Adding to cart… The item has been added
Buy ebook
Description
  • | Author: Paolo Mancosu
  • | Publisher: Oxford University Press
  • | Publication Date: Oct 12, 2021
  • | Number of Pages: 432 pages
  • | Language: English
  • | Binding: Hardcover
  • | ISBN-10: 0192895931
  • | ISBN-13: 9780192895936
Additional Information
Author:
Paolo Mancosu
Publisher:
Oxford University Press
Publication Date:
Oct 12, 2021
Number of pages:
432 pages
Language:
English
Binding:
Hardcover
ISBN-10:
0192895931
ISBN-13:
9780192895936
Related Products