Benthem, Johan F .A. K. van (Hrsg.)
Gupta, Amitabha (Hrsg.)
Parikh, Rohit (Hrsg.)
Proof, Computation and Agency
Logic at the Crossroads
Beschreibung
Produktdetails
| ISBN/GTIN | 978-94-007-0080-2 |
|---|---|
| Seitenzahl | 372 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 3299 Kbytes |