Deduction, Computation, Experiment

Lupacchini, Rossella.

Deduction, Computation, Experiment Exploring the Effectiveness of Proof / [electronic resource] : edited by Rossella Lupacchini, Giovanna Corsi. - Milano : Springer-Verlag Italia, 2008. - v.: digital

9788847007840


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 Physics

BC173 / L87 2008