Overview
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (13 chapters)
Editors and Affiliations
Bibliographic Information
Book Title: Deduction, Computation, Experiment
Book Subtitle: Exploring the Effectiveness of Proof
Editors: Rossella Lupacchini, Giovanna Corsi
DOI: https://doi.org/10.1007/978-88-470-0784-0
Publisher: Springer Milano
eBook Packages: Humanities, Social Sciences and Law, Philosophy and Religion (R0)
Copyright Information: Springer-Verlag Milan 2008
Softcover ISBN: 978-88-470-0783-3Published: 30 July 2008
eBook ISBN: 978-88-470-0784-0Published: 25 September 2008
Edition Number: 1
Number of Pages: XII, 280
Topics: Logic, Philosophy, general, Mathematics, general, Philosophy of Nature, Theory of Computation, Mathematical Logic and Foundations