Justification Logic
Sergei Artemov, Melvin Fitting
₹5,328
Logical Foundations of Computer Science
International Symposium
Springer Verlag · 2012
₹4,262
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 ₹3,878 for this book (save ₹384).
9% off every book, up to ₹500 off per order.
About this book
Its main subjects are Mathematical Logic and Formal Languages, Symbolic and mathematical Logic, Information theory and Logic design.
Book details
- ISBN-13
- 9783642357213
- ISBN-10
- 3642357210
- Author
- Sergei Artemov
- Publisher
- Springer Verlag
- Published
- 2012
- Edition
- 2013 ed.
- Pages
- 425
- Language
- English
- Condition
- New
- Subject
- Information & Coding Theory
More by Sergei Artemov and related titles
Logical Foundations of Computer Science
Sergei Artemov
₹4,262
Theory and Practice of Computation
Shin-Ya Nishizaki, Masayuki Numao, Jaime Caro
₹5,483
The Universe as Automaton
Klaus Mainzer, Leon Chua
₹4,676
Fundamentals of Computation Theory
Bogdan S. Chlebus, Ludwik Czaja
₹5,622
Graph-based Representation and Reasoning
Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker
₹4,270
Komplexitätstheorie
Ingo Wegener
₹4,237
High Performance Computing for Computational Science -- Vecpar 2010
José M. Laginha M. Palma, Michel Daydé, Osni Marques
₹5,627
Multimedia Technology and Enhanced Learning
Yu-Dong Zhang
₹7,384
The Evolutionary Trajectory
Richard L. Coren
₹2,094
Dripping Faucet as a Model Chaotic System
Robert Shaw
₹3,413
Information Loss in Deterministic Signal Processing Systems
Bernhard C. Geiger, Gernot Kubin
₹7,771