Deduction, Computation, Experiment
Springer Verlag, 2008
121,95 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9788847007833
- ISBN-10
- 8847007836
- Publisher
- Springer Verlag
- Year
- 2008
- Publication date
- 2008-07-30
- Pages
- 280
- Dimensions
- 235x155x