Proof, Computation and Agency

Full text!
Format:
e-book
Title:
Proof, Computation and Agency
Author:
van Benthem, Johan; Benthem, J. F. A. K. van; Benthem, Johannes Franciscus Abraham Karel; Gupta, Amitabha; Parikh, Rohit
Language:
English
Publisher:
Springer Netherlands 2011
ISBN:
94-007-0079-2
94-007-3581-2
94-007-0080-6
Permalink:
http://bibtest.howest.be/catalog/ebk03:2670000000082811?locale=en