Deduction, Computation, Experiment: Exploring the Effectiveness of Proof
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Verlag
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9788847007833
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This volume is located in a cross-disciplinary ?eld bringing together mat- matics, logic, natural science and philosophy. Re?ection on the e?ectiveness of proof brings out a number of questions that have always been latent in the informal understanding of the subject.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Verlag |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2008 ed. |
| Udgivelsesdato | 30-07-2008 |
| Første udgivelsesår | 2008 |
| Illustrationer | XII, 280 p. |
| Fagredaktør | Rossella Lupacchini, Giovanna Corsi |
| Originalsprog | Italy |
| Sideantal | 280 |
| Indbinding | Paperback / softback |
| Forlag | Springer Verlag |
| Sideoplysninger | 280 pages, XII, 280 p. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9788847007833 |