Proof, Computation and Agency
van Benthem, Johan.
Proof, Computation and Agency Logic at the Crossroads / [electronic resource] : edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. - Dordrecht : Springer Science+Business Media B.V., 2011. - v.: digital - Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352 .
9789400700802
Philosophy (General)
Logic
Philosophy, modern
Computer science
Logic, Symbolic and mathematical
Philosophy
Logic
Mathematical Logic and Foundations
Mathematical Logic and Formal Languages
Non-Western Philosophy
Proof, Computation and Agency Logic at the Crossroads / [electronic resource] : edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. - Dordrecht : Springer Science+Business Media B.V., 2011. - v.: digital - Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352 .
9789400700802
Philosophy (General)
Logic
Philosophy, modern
Computer science
Logic, Symbolic and mathematical
Philosophy
Logic
Mathematical Logic and Foundations
Mathematical Logic and Formal Languages
Non-Western Philosophy