Електронний каталог
Класифікатори
мат...
математична індукція, математическая индукция
Документи:
Андерсон, Роберт
Доказательство правильности программ [Текст] : Пер. с англ. / Р. Андерсон ; Под ред. Д.Б. Подшивалова. — М. : Мир, 1982. — 168 с.
Інформаційно-пошукова система
'УФД/Бібліотека'