Normalization, Cut-Elimination, and the Theory of Proofs

Name: Normalization, Cut-Elimination, and the Theory of Proofs: 28
Brand: The Center for the Study of Language and Information Publications
SKU: 9780937073834
Price: 2657.00 INR
Availability: InStock

by A. M. Ungar

The Center for the Study of Language and Information Publications · 1992

₹2,657

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–5 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns.
Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹2,418 for this book (save ₹239).

9% off every book, up to ₹500 off per order.

About this book

Normalization, Cut-Elimination, and the Theory of Proofs: 28 by A. M.The book is part of the CSLI lecture notes series.

The book deals with Proof theory.

About the author: A. M. Ungar (born 1945).

Book details

ISBN-13: 9780937073834
ISBN-10: 0937073830
Author: A. M. Ungar
Publisher: The Center for the Study of Language and Information Publications
Author dates: A. M. Ungar (born 1945)
Published: 1992
Series: CSLI lecture notes
Pages: 248
Language: English
Condition: New
Subject: Languages, Linguistics & Writing Skills