Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

Sparad:

Bibliografiska uppgifter
Huvudupphov:	Lupacchini, Rossella
Institutionellt upphov:	SpringerLink (Online service)
Övriga upphov:	Corsi, Giovanna
Materialtyp:	Elektronisk E-bok
Språk:	engelska
Utgiven:	Milano : Springer Milan, 2008.
Ämnen:	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.
Länkar:	http://dx.doi.org/10.1007/978-88-470-0784-0
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Deduction, computation, experiment exploring the effectiveness of proof /

Utgiven c2008.

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

Elektronisk E-bok