Васюков В. Л. Категорная логика / Васюков Владимир Леонидович; РАН. Институт философии. - Москва: АНО Институт логики, 2005. - 194 с. - ISBN 9785855931457.Отраслевые рубрики: логика, философские науки Ключевые слова: дедуктивные категории, дедуктивные системы, импликативные дедуктивные системы, интуиционистская логика, исчисления Айдукевича-Ламбека, категории, категорная логика, классическая логика, когерентность, логическое исчисление, модальная логика, мультикатегории, неклассическая логика, паранепротиворечивая логика, релевантная логика, секвенция, ситусы, сопряжения, теория доказательств, топосы, функторы, элементарная теория категорий
Сигла хранения | Всего экз. | В наличии | Заказано | абонемент | 1 | 1 | 0 |
|