Книги / тег / исчисление предикатов

Книги по тегу #исчисление предикатов

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

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

A

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

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