000001875 001__ 1875
000001875 003__ Springer
000001875 005__ 20080922222016.848
000001875 007__ cr nn 008mamaa
000001875 008__ 080922s2008    xx         j        eng d
000001875 020__ $$a9788847007840
000001875 1001_ $$aLupacchini, Rossella.
000001875 24510 $$aDeduction, Computation, Experiment$$bExploring the Effectiveness of Proof /$$cedited by Rossella Lupacchini, Giovanna Corsi.$$h[electronic resource] :
000001875 260__ $$aMilano :$$bSpringer-Verlag Italia,$$c2008.
000001875 300__ $$bv.: digital
000001875 650_0 $$aInformation theory
000001875 650_0 $$aLogic
000001875 650_0 $$aLogic, Symbolic and mathematical
000001875 650_0 $$aMathematical physics
000001875 650_0 $$aPhilosophy
000001875 650_0 $$aPhilosophy of nature
000001875 65014 $$aPhilosophy
000001875 65024 $$aLogic
000001875 65024 $$aMathematical and Computational Physics
000001875 65024 $$aMathematical Logic and Foundations
000001875 65024 $$aPhilosophy of Nature
000001875 65024 $$aTheory of Computation
000001875 7001_ $$aCorsi, Giovanna.
000001875 7102_ $$aSpringerLink (Online service)
000001875 7730_ $$tSpringer eBooks
000001875 8564_ $$uhttp://roble.unizar.es:9090/login?url=http://dx.doi.org/10.1007/978-88-470-0784-0$$zTexto completo
000001875 950__ $$aHumanities, Social Science and Law (Springer-11648; ZDB-2-SHU)
000001875 980__ $$aBOOK