Mathematics , Logic
Mathematics , LogicИзбранные труды. Том 2. Теория алгоритмов и конструктивная математика. Математическая логика. Информатика и смежные вопросы
Free Download
- Mathematics , Logic
Критерий допустимости правил вывода для некоторого класса S4-логик, не обладающих свойством ветвления
Free Download 
Mathematics , LogicКритерий допустимости правил вывода с метапеременными в модальной логике S4.alphaN
Free Download
