• Класифікатори
• мат...

математична індукція, математическая индукция

Документи:

• Андерсон, Роберт
  Доказательство правильности программ [Текст] : Пер. с англ. / Р. Андерсон ; Под ред. Д.Б. Подшивалова. — М. : Мир, 1982. — 168 с.