Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Milano :
Springer Milan,
2008.
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-88-470-0784-0 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 0000054950 | ||
| 005 | 20171002052832.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2008 it | s |||| 0|eng d | ||
| 020 | |a 9788847007840 |9 978-88-470-0784-0 | ||
| 024 | 7 | |a 10.1007/978-88-470-0784-0 |2 doi | |
| 035 | |a 0000005036 | ||
| 035 | |a (DE-He213)978-88-470-0784-0 | ||
| 050 | 4 | |a BC1-199 | |
| 072 | 7 | |a HPL |2 bicssc | |
| 072 | 7 | |a PHI011000 |2 bisacsh | |
| 082 | 0 | 4 | |a 160 |2 23 |
| 100 | 1 | |a Lupacchini, Rossella. | |
| 245 | 1 | 0 | |a Deduction, Computation, Experiment |h [electronic resource] : |b Exploring the Effectiveness of Proof / |c edited by Rossella Lupacchini, Giovanna Corsi. |
| 260 | |a Milano : |b Springer Milan, |c 2008. | ||
| 300 | |b digital. | ||
| 650 | 0 | |a Philosophy (General). | |
| 650 | 0 | |a Logic. | |
| 650 | 0 | |a Philosophy of nature. | |
| 650 | 0 | |a Information theory. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Mathematical physics. | |
| 650 | 1 | 4 | |a Philosophy. |
| 650 | 2 | 4 | |a Logic. |
| 650 | 2 | 4 | |a Philosophy of Nature. |
| 650 | 2 | 4 | |a Theory of Computation. |
| 650 | 2 | 4 | |a Mathematical Logic and Foundations. |
| 650 | 2 | 4 | |a Mathematical and Computational Physics. |
| 700 | 1 | |a Corsi, Giovanna. | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer eBooks | |
| 776 | 0 | 8 | |i Printed edition: |z 9788847007833 |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-88-470-0784-0 |
| 908 | |a 121203 | ||
| 912 | |a ZDB-2-SHU | ||
| 942 | 0 | 0 | |c EB |
| 950 | |a Humanities, Social Sciences and Law (Springer-11648) | ||
| 999 | |c 47955 |d 47955 | ||