Catalog

Record Details

Catalog Search


Deduction, Computation, Experiment Exploring the Effectiveness of Proof Cover Image E-book E-book

Deduction, Computation, Experiment [electronic resource] : Exploring the Effectiveness of Proof / edited by Rossella Lupacchini, Giovanna Corsi.

Lupacchini, Rossella. (editor.). Corsi, Giovanna. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9788847007840
  • Physical Description: online resource.
  • Publisher: Milano : Springer Milan, 2008.

Search for related items by subject

Subject: 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.

Electronic resources

Texto completo


Additional Resources