Лучшая рецензия
Смотреть 1
"учебник" отвратительный. Очень формальный, без примеров, без пояснений, какое отношение имеет логическая формалистика к реальному миру и, в частности, к компьютерам. Писали математики, причем специфической направленности, для самих себя. Большое упущение, что такое рекомендуется для школ.