Proof, Computation and Agency [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
Material type:
Computer fileSeries: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352Publication details: Dordrecht : Springer Science+Business Media B.V., 2011.Description: v.: digitalISBN: - 9789400700802
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.