van Benthem, Johan.
Proof, Computation and Agency Logic at the Crossroads / [electronic resource] : edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. - Dordrecht : Springer Netherlands, 2011. - digital. - Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352 . - Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352 .
9789400700802
10.1007/978-94-007-0080-2 doi
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.
BC1-199
160
Proof, Computation and Agency Logic at the Crossroads / [electronic resource] : edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. - Dordrecht : Springer Netherlands, 2011. - digital. - Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352 . - Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352 .
9789400700802
10.1007/978-94-007-0080-2 doi
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.
BC1-199
160