Proof, Computation and Agency Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
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...
Full description
Saved in:
Bibliographic Details
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Other Authors: |
van Benthem, Johan
(Editor),
Gupta, Amitabha
(Editor),
Parikh, Rohit
(Editor) |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2011.
|
|---|
| Edition: | 1st ed. 2011. |
|---|
| Series: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
352
Springer eBook Collection.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click to view e-book
|
|---|
| Holy Cross Note: | Loaded electronically.
Electronic access restricted to members of the Holy Cross Community. |
|---|