Record:   Prev Next
Author Lupacchini, Rossella
Title Deduction, Computation, Experiment : Exploring the Effectiveness of Proof
Imprint Milano : Springer, 2008
©2008
book jacket
Descript 1 online resource (285 pages)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Note Focusing on relevant conceptual and logical issues underlying the catholic quest for proving, this volume seeks to cast light on what the effectiveness of proof rests on
Description based on publisher supplied metadata and other sources
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2020. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries
Link Print version: Lupacchini, Rossella Deduction, Computation, Experiment : Exploring the Effectiveness of Proof Milano : Springer,c2008 9788847007833
Subject Evidence.;Logic
Electronic books
Alt Author Corsi, Giovanna
Record:   Prev Next