| Title | Logic at the crossroads: proof, computation and agency games, norms and reasons |
|---|---|
| Published in | None, Vol. 352. ISBN 9789400709201. |
| Author | A. Gupta; J.F.A.K. van Benthem; R. Parikh |
| Date | 2011 |
| Publisher | Springer |
| Publication | http://dare.uva.nl/record/413417 |
| Persistent Identifier | urn:nbn:nl:ui:29-413417 |
| Metadata | XML |
| Repository | University of Amsterdam |
Go to page top
Go back to contents
Go back to site navigation