Induction Models on \mathbb{N}

A. Dileep, Kuldeep S. Meel, Ammar F. Sabili

Mathematical induction is a fundamental tool in computer science and mathematics. Henkin initiated the study of formalization of mathematical induction restricted to the setting wh…