Proof, Computation and Agency : Logic at the Crossroads /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Dordrecht, Holanda :
Springer,
2011, c2011
|
| Series: | (Synthese Library)
|
| Online Access: | Ver documento en línea |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: Proof, Computation and Agency :
- Games, Norms and Reasons : Logic at the Crossroads /
- Proofs and Algorithms : An Introduction to Logic and Computability /
- Information, Interaction, and Agency /
- Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
- A Proof Theory for Description Logics /
- Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /