1875 Springer 20080922222016.848 cr nn 008mamaa 080922s2008 xx j eng d 9788847007840 Lupacchini, Rossella. Deduction, Computation, Experiment [electronic resource] : Exploring the Effectiveness of Proof / edited by Rossella Lupacchini, Giovanna Corsi. 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 Humanities, Social Science and Law (Springer-11648; ZDB-2-SHU) BOOK Texto completo http://roble.unizar.es:9090/login?url=http://dx.doi.org/10.1007/978-88-470-0784-0