02408nmm 2200000 a 4500 1875 Springer 20080922222016.848 cr nn 008mamaa 080922s2008 xx j eng d 9788847007840 Lupacchini, Rossella. Deduction, Computation, Experiment Exploring the Effectiveness of Proof / edited by Rossella Lupacchini, Giovanna Corsi. [electronic resource] : Milano : Springer-Verlag Italia, 2008. v.: digital Information theory Logic Logic, Symbolic and mathematical Mathematical physics Philosophy Philosophy of nature Philosophy Logic Mathematical and Computational Physics Mathematical Logic and Foundations Philosophy of Nature Theory of Computation Corsi, Giovanna. SpringerLink (Online service) Springer eBooks http://roble.unizar.es:9090/login?url=http://dx.doi.org/10.1007/978-88-470-0784-0 Texto completo Humanities, Social Science and Law (Springer-11648; ZDB-2-SHU) BOOK