Proof, Computation and Agency
Subtitle: Logic at the Crossroads
By: edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh
Contributors: Gupta, Amitabha; Parikh, Rohit; SpringerLink (Online service)
Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science -- 352
Publisher: Springer Science+Business Media B.V.; Springer
Published: 2011
Place of publication: Dordrecht
Language: eng
Format: [electronic resource] :
Number of pages: 396
ISBN-13: 9789400700796; 9789400700802
Subjects: Philosophy (General); Logic; Symbolic and mathematical Logic; Computer science; Modern Philosophy