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