TY  - BOOK
AU  - Lupacchini,Rossella
AU  - Corsi,Giovanna
ED  - SpringerLink (Online service)
TI  - Deduction, Computation, Experiment: Exploring the Effectiveness of Proof 
SN  - 9788847007840
AV  - BC1-199 
U1  - 160 23
PY  - 2008///
CY  - Milano
PB  - Springer Milan
KW  - Philosophy (General)
KW  - Logic
KW  - Philosophy of nature
KW  - Information theory
KW  - Logic, Symbolic and mathematical
KW  - Mathematical physics
KW  - Philosophy
KW  - Philosophy of Nature
KW  - Theory of Computation
KW  - Mathematical Logic and Foundations
KW  - Mathematical and Computational Physics
UR  - http://dx.doi.org/10.1007/978-88-470-0784-0
ER  -