The following pages link to On Mathematical Induction (Q5599147):
Displayed 9 items.
- Visions of Henkin (Q514560) (← links)
- Uniformly constructive monads (Q1174504) (← links)
- Die Charakteristik einer Halbgruppe (Q2523040) (← links)
- In Memoriam: Leon Albert Henkin 1921–2006 (Q3398617) (← links)
- Leon Henkin (Q3454796) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Frege's Theorem and the Peano Postulates (Q4858805) (← links)
- Strict finitism and feasibility (Q6064273) (← links)