96
14

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