Proof, Computation and Agency
Logic at the Crossroads
By: Johan van Benthem (Editor), Amitabha Gupta (Editor), Rohit Parikh (Editor)
eBook | 16 March 2016
At a Glance
eBook
RRP $239.00
$215.99
10%OFF
or
Instant Digital Delivery to your Kobo Reader App
ISBN: 9789400700802
ISBN-10: 9400700806
Series: Synthese Library : Book 352
Published: 16th March 2016
Format: ePUB
Language: English
Number of Pages: 371
Publisher: Springer Netherlands
Volume Number: 352
You Can Find This eBook In
This product is categorised by
- Non-FictionMathematicsMathematical FoundationMathematical Logic
- Non-FictionPhilosophyPhilosophy & Logic
- Non-FictionPsychologySocial Psychology
- Non-FictionPhilosophyNon-Western PhilosophyOriental & Indian Philosophy
- Non-FictionComputing & I.T.Computer ScienceMathematical Theory of Computation
- Non-FictionMathematicsHistory of Mathematics
- Non-FictionPhilosophyHistory of Western Philosophy