Proof, Computation and Agency : Logic at the Crossroads
by Amitabha Gupta, Rohit Parikh, Johan van Benthem Hardcover 2011
- Author: Amitabha Gupta, Rohit Parikh, Johan van Benthem
- ISBN 13: 9789400700796
- ISBN 10: 9400700792
- Publication Year: 2011
- Language: English
Specifications
| Index-10 | 9400700792 |
|---|---|
| Index-13 | 9789400700796 |
| Language | English |
✨ Readers also enjoyed...
Shutter Bug
Ida B : ... And Her Plans to Maxim…