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