Proof, Computation and Agency
Logic at the Crossroads
Edición de la obra Proof, Computation and Agency
| Autor | Johan van Benthem |
|---|---|
| Editorial | Springer Science+Business Media B.V., Springer |
| Fecha de publicación | 2011 |
| Lugar | Dordrecht |
| Idioma | inglés |
| Páginas | 396 |
| Formato | [electronic resource] : |
| ISBN-13 | 9789400700796, 9789400700802 |
| OCLC | 724415195 |
| Serie | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science -- 352 |
| Número de Cutter |