78
14
v1v2v3v4v5 (latest)

Automation of Mathematical Induction as part of the History of Logic

Abstract

We review the history of the automation of mathematical induction

View on arXiv
Comments on this paper