01685nam0 2200373 i 450 SUN011348820180112011941.5540.00N978-3-319-17368-920180110d2015 |0engc50 baengCH|||| |||||*Why prove it again?alternative proofs in mathematical practiceJohn W. Dawson, Jr. ; with the assistance of Bruce S. Babcock and with a chapter by Steven H. Weintraub[Cham] : Birkhäuser : Springer, 2015XI204 p.ill. ; 24 cmPubblicazione in formato elettronico00A30Philosophy of mathematics [MSC 2020]MFSUNC02082900A35Methodology of mathematics [MSC 2020]MFSUNC02321901A05General histories, source books [MSC 2020]MFSUNC02374103FxxProof theory and constructive mathematics [MSC 2020]MFSUNC02438303A05Philosophical and critical aspects of logic and foundations [MSC 2020]MFSUNC024501CHChamSUNL001889Dawson, John W.Jr.SUNV03623016280Weintraub, Steven H.SUNV037338Babcock, Bruce S.SUNV087599SpringerSUNV000178650BirkhäuserSUNV000319650ITSOL20210503RICAhttp://dx.doi.org/10.1007/978-3-319-17368-9SUN0113488UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0510 08eMF510 20180110 Why prove it again1522625UNICAMPANIA