GKS in der Praxis
Jörg Bechlars, Rainer Buhtz
₹3,508
Cut Elimination in Categories
6
by K. Dosen
Springer · 2010 · Paperback
₹11,569
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 ₹11,069 for this book (save ₹500).
9% off every book, up to ₹500 off per order.
About this book
Published by Springer in 2010, Cut Elimination in Categories: 6 by K.
Its main subjects are Categories (mathematics), Proof theory, Logic and Philosophy.
Book details
- ISBN-13
- 9789048152261
- ISBN-10
- 9048152267
- Author
- K. Dosen
- Publisher
- Springer
- Published
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 1999
- Binding
- Paperback
- Pages
- 229
- Language
- English
- Condition
- New
- Subject
- Computing & IT
More in Computing & IT
Politics of the Internet
R. J. Maratea
₹5,070
Aufwandsschätzungen in Der Software- Und Systementwicklung Kompakt
Oliver Hummel
₹1,208
Visual Space Perception – A Primer
Maurice Hershenson
₹3,785
Canonical Correlation Analysis in Speech Enhancement
Israel Cohen, Jacob Benesty
₹4,196
Towards a Spin-Ensemble Quantum Memory for Superconducting Qubits
Cécile Grèzes
₹7,777
GDPR and Biobanking
Santa Slokenberga, Olga Tzortzatou, Jane Reichel
₹3,388
Information Technologies in the Design of Aerospace Engineering
Mykola Nechyporuk, Vladimir Pavlikov, Dmitriy Kritskiy
₹17,501
The Purple Planet
Serafim Gascoigne
₹3,978
Unreal for Mobile and Standalone VR
Cornel Hillmann
₹4,604
Franz Brentano and Austrian Philosophy
Denis Fisette, Guillaume Fréchette, Friedrich Stadler
₹4,317
Artificial Intelligence in Wireless Sensors and Instruments
Halit Eren
₹13,753