Results
|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
Proof, Computation and Agency [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. by Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352 | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Dordrecht : Springer Netherlands, 2011
In:
Springer eBooks
Availability: No items available.
|
|
8.
|
|
|
9.
|
|