Proof, Computation and Agency Logic at the Crossroads /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: van Benthem, Johan (Επιμελητής έκδοσης), Gupta, Amitabha (Επιμελητής έκδοσης), Parikh, Rohit (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
• Σειρά: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352
• Θέματα: Philosophy.; Logic.; Philosophy, Asian.; Mathematical logic.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.; Non-Western Philosophy.

Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques fro...