哲学杂志철학 학술지哲学のジャーナルEast Asian
Journal of
Philosophy

Home > Edited Book > Contribution

Summary

Publication details

Publisher: Springer

Place: Berlin

Year: 2008

Pages: 29-48

ISBN (Hardback): 9788847007833

Full citation:

Andrea Cantini, "On formal proofs", in: Deduction, computation, experiment, Berlin, Springer, 2008

Abstract

what is the use of formal proofs?

Publication details

Publisher: Springer

Place: Berlin

Year: 2008

Pages: 29-48

ISBN (Hardback): 9788847007833

Full citation:

Andrea Cantini, "On formal proofs", in: Deduction, computation, experiment, Berlin, Springer, 2008