Книги — formal systems

RU
Программирование: комбинаторная логика

Программирование: комбинаторная логика

A

И. А. Кудрявцева, М. В. Швецкий

Языки программирования
RU
Математическая логика и теория алгоритмов: учебное пособие

Математическая логика и теория алгоритмов: учебное пособие

A

Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн

Алгоритмы и теория