Proof, Computation and Agency [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
Material type:![Computer file](/opac-tmpl/lib/famfamfam/CF.png)
- 9789400700802
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.