Замятин А.П., Ливчак А.Б. Элементы математической теории информационных систем: выразимость и вычислимость.

Стр. 1-7