Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 105
Repository | Book | Chapter
On formal proofs
pp. 29-48
Abstract
what is the use of formal proofs?
Publication details
Published in:
Lupacchini Rossella, Corsi Giovanna (2008) Deduction, computation, experiment: exploring the effectiveness of proof. Dordrecht, Springer.
Pages: 29-48
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/978-88-470-0784-0_2
Full citation:
Cantini Andrea (2008) „On formal proofs“, In: R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, 29–48.