The Logic of Time
Johan van Benthem
₹8,949
Proof, Computation and Agency
Logic at the Crossroads: 352
Springer · 2011
₹12,046
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Proof, Computation and Agency: Logic at the Crossroads: 352 is written by Johan van Benthem. This edition from Springer (2011) has 372 pages.
The book deals with Philosophy (General), Logic, Symbolic and mathematical Logic and Computer science.
Book details
- ISBN-13
- 9789400700796
- ISBN-10
- 9400700792
- Author
- Johan van Benthem
- Publisher
- Springer
- Published
- 2011
- Edition
- 1
- Pages
- 372
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Johan van Benthem and related titles
The Age of Alternative Logics
Johan Van Benthem, Gerhard Heinzmann, Manuel Rebuschi
₹5,197
Hacking GPS
Kathie Kingsley–Hughes
₹2,802
Cycles and Rays
Gena Hahn
₹4,250
Lecture Notes in Analog Electronics
Vančo B. Litovski
₹8,317
Defining Eastern Europe
Piotr Twardzisz
₹6,998
Csl '88
H. Kleine Buning, E. Borger
₹3,264
Energy Harvesting
Alireza Khaligh, Omer C. Onar
₹17,094
Energy-Efficient Wireless Sensor Networks
Vidushi Sharma, Anuradha Pughat
₹5,664
Qualitative Representation of Spatial Knowledge
Daniel Hernandez
₹2,746
After the Genocide in Rwanda
Trish Meyer, Chris Meyer
₹4,801
High-fidelity Quantum Logic in Ca+
Christopher J. Ballance
₹4,193