Deduction, Computation, Experiment [electronic resource] : Exploring the Effectiveness of Proof / edited by Rossella Lupacchini, Giovanna Corsi.
By: Lupacchini, Rossella.
Contributor(s): Corsi, Giovanna | SpringerLink (Online service).
Material type: BookPublisher: Milano : Springer Milan, 2008Description: digital.ISBN: 9788847007840.Subject(s): Philosophy (General) | Logic | Philosophy of nature | Information theory | Logic, Symbolic and mathematical | Mathematical physics | Philosophy | Logic | Philosophy of Nature | Theory of Computation | Mathematical Logic and Foundations | Mathematical and Computational PhysicsDDC classification: 160 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.