Cited in
(12)- Uniformly constructive monads
- Die Charakteristik einer Halbgruppe
- In Memoriam: Leon Albert Henkin 1921–2006
- Leon Henkin
- Leon Henkin the reviewer
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- Frege's Theorem and the Peano Postulates
- Visions of Henkin
- Strict finitism and feasibility
- On the (In)Dependence of the Peano Axioms for Natural Numbers
- Axiomatizations of natural numbers
- Induction models on \(\mathbb{N}\)
This page was built for publication: On Mathematical Induction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5599147)