Proof, Computation and Agency Logic at the Crossroads /
Saved in:
Main Author: | van Benthem, Johan |
---|---|
Corporate Author: | SpringerLink (Online service) |
Other Authors: | Gupta, Amitabha, Parikh, Rohit |
Format: | Electronic eBook |
Language: | English |
Published: |
Dordrecht :
Springer Netherlands,
2011.
|
Series: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
352 |
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-94-007-0080-2 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Proof, Computation and Agency Logic at the Crossroads /
by: van Benthem, Johan
Published: (2011) -
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
by: Benthem, Johan
Published: (2006) -
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
by: Benthem, Johan
Published: (2006) -
Advances in Proof-Theoretic Semantics
Published: (2016) -
Advances in Proof-Theoretic Semantics
Published: (2016)