Proof, computation and agency logic at the crossroads /
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...
| Other Authors: | Benthem, Johan van, 1949-, Gupta, Amitabha., Parikh, Rohit, 1936-, SpringerLink (Online Service), "Indian Conference on Logic and its Relationship with Other Disciplines" |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht ; New York :
Springer,
©2011.
|
| Physical Description: |
1 online resource (xxiv, 371 pages) |
| Series: |
Synthese library ;
352. |
| Subjects: |
Logic
-- Congresses.
|
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |