Index of concepts for Week 12

• induction (over Peano numbers, first order)
• induction (over Peano numbers, second order)
• induction (over Peano numbers, third order)
• induction (over Peano numbers, fourth order)
• induction (over Peano numbers, course of values)
• induction (over Peano numbers, strong)
• induction (over Peano numbers, weak)

Version

Created [05 Apr 2024]