Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

Saved in:

Bibliographic Details
Main Author:	Lupacchini, Rossella
Corporate Author:	SpringerLink (Online service)
Other Authors:	Corsi, Giovanna
Format:	Electronic eBook
Language:	English
Published:	Milano : Springer Milan, 2008.
Subjects:	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.
Online Access:	http://dx.doi.org/10.1007/978-88-470-0784-0
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet