Практикум по математическим основам информатики. Часть 2. Введение в математическую логику. А. Мейлахс

Прочая образовательная литература.