000			01244nmm a22003735u 4500
999			_c25848 _d25848
005			20200920225338.0
008			100301s2008 xx j eng d
020			_a9788847007840
050	0	4	_aBC173 _bL87 2008
100	1		_aLupacchini, Rossella.
245	1	0	_aDeduction, Computation, Experiment _h[electronic resource] : _bExploring the Effectiveness of Proof / _cedited by Rossella Lupacchini, Giovanna Corsi.
260			_aMilano : _bSpringer-Verlag Italia, _c2008.
300			_bv.: digital
650		0	_aPhilosophy (General)
650		0	_aLogic
650		0	_aPhilosophy of nature
650		0	_aInformation theory
650		0	_aLogic, Symbolic and mathematical
650		0	_aMathematical physics
650	1	4	_aPhilosophy
650	2	4	_aLogic
650	2	4	_aPhilosophy of Nature
650	2	4	_aTheory of Computation
650	2	4	_aMathematical Logic and Foundations
650	2	4	_aMathematical and Computational Physics
700	1		_aCorsi, Giovanna.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
856	4	0	_uhttp://dx.doi.org/10.1007/978-88-470-0784-0
942			_2lcc _cLIE