Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Lupacchini, Rossella
Awdur Corfforaethol:	SpringerLink (Online service)
Awduron Eraill:	Corsi, Giovanna
Fformat:	Electronig eLyfr
Iaith:	Saesneg
Cyhoeddwyd:	Milano : Springer Milan, 2008.
Pynciau:	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.
Mynediad Ar-lein:	http://dx.doi.org/10.1007/978-88-470-0784-0
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Deduction, computation, experiment exploring the effectiveness of proof /

Cyhoeddwyd c2008.

An electronic book accessible through the World Wide Web; click to view

Electronig eLyfr