Proof, Computation and Agency
Edición de la obra Proof, Computation and Agency
| Autor | Johan van Benthem, Amitabha Gupta, Rohit Parikh |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Apr 15, 2011 |
| Páginas | 396 |
| Formato | paperback |
| ISBN-13 | 9789400700819 |
| ISBN-10 | 9400700814 |
| Número de Cutter | B476p |