Normal view MARC view ISBD view

Deduction, Computation, Experiment

Lupacchini, Rossella.

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

ISBN: 9788847007840

Standard No.: 10.1007/978-88-470-0784-0 doi

Subjects--Topical Terms:
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.

LC Class. No.: BC1-199

Dewey Class. No.: 160

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)