Proof, Computation and Agency [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
E-book
Electronic resources
Record details
- ISBN: 9789400700802
- Physical Description: XXIV, 400p. digital.
- Publisher: Dordrecht : Springer Netherlands, 2011.