Книги по тегу #формальные системы

Дискретная математика. Формально-логические системы и языки