Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

Furkejuvvon:

Bibliográfalaš dieđut
Váldodahkki:	Lupacchini, Rossella
Searvvušdahkki:	SpringerLink (Online service)
Eará dahkkit:	Corsi, Giovanna
Materiálatiipa:	Elektrovnnalaš E-girji
Giella:	eaŋgalasgiella
Almmustuhtton:	Milano : Springer Milan, 2008.
Fáttát:	Philosophy (General). Logic. Philosophy of nature. Information theory. Logic, Symbolic and mathematical. Mathematical physics. Philosophy. Philosophy of Nature. Theory of Computation. Mathematical Logic and Foundations. Mathematical and Computational Physics.
Liŋkkat:	http://dx.doi.org/10.1007/978-88-470-0784-0
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Interneahtta