ЛОГИКА ВЫСКАЗЫВАНИЙ: Алгебраические аспекты классической и интуиционистской логик. Полное подробное описание трех основных выводов логических исчислений. Около 100 примеров для лучшего усвоения материала. Изд. 2, испр

Обложка: