Proof, Computation and Agency

Type:

e-book

Titel:

Proof, Computation and Agency

Auteur:

van Benthem, Johan; Benthem, J. F. A. K. van; Benthem, Johannes Franciscus Abraham Karel; Gupta, Amitabha; Parikh, Rohit

Taal:

Engels

Uitgever:

Springer Netherlands 2011

ISBN:

94-007-0079-2
94-007-3581-2
94-007-0080-6

Permalink:

http://bibtest.howest.be/catalog/ebk03:2670000000082811