Title
Normalization, Cutelimination, And The Theory Of Proofs (Volume 28) (Lecture Notes),Used
Sold by Ergodebooks, an authorized reseller.
Returns accepted within 30 days | support@ergodebooks.com
Shipping Information
- Free Standard Shipping — United States only
- Processing Time: 1–3 business days
- Estimated Delivery: 3–5 business days after dispatch
- Double-boxed, fully insured & discreetly packaged
- Tracking number sent via email once dispatched
- Orders over $250 require signature upon delivery. Taxes calculated at checkout.
Returns & Refund
Returns accepted within 30 days of delivery.
Damaged or Defective Item
Free return shipping + replacement or full refund
Wrong Item Received
Free return shipping + replacement or full refund
Change of Mind
Return shipping at customer's expense · 25% restocking fee applies
Payment Option
Gentzen'S Cutelimination Theorem Is Widely Used As A Tool For Metamathematical Investigations. It Is Sometimes Claimed However That The Theorem And Its Proof Have Interest Which Is Independent Of These Applications And Derives From The Information They Supply About The Structure Of Proofs In General. Ungar Investigates This Claim In The Context Of First Order Logic. Ungar Gives An Account Of Gentzen'S Theorem For Various Formalisms And Discusses The Difficulties Involved In Treating These Different Versions Uniformly, As Instances Of A Single Theorem Which Is Not Tied To A Particular System Of Rules. By Extending The Theorem To A Natural Deduction Calculus Whose Derivations Are Allowed To Have More Than One Conclusion, Ungar Argues That The Different Versions Of The Theorem Are More Or Less Natural Specializations Of A Single Result Whose Significance Can Be Understood In Terms Of The Proofs Represented By Formal Derivations. A Concluding Discussion Focuses On The Relationship Between Proofs And Formal Derivations, And The Role Proofs May Play As Part Of A General Theory Of Evidence.
⚠️ WARNING (California Proposition 65):
This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.
For more information, please visit www.P65Warnings.ca.gov.