Математическая логика и теория алгоритмов / Издательство МГТУ им. Н. Э ...