Отраслевые рубрики: логика

Ключевые слова: дедуктивные категории, дедуктивные системы, импликативные дедуктивные системы, интуиционистская логика, исчисления Айдукевича-Ламбека, категории, категорная логика, классическая логика, когерентность, логическое исчисление, модальная логика, мультикатегории, неклассическая логика, паранепротиворечивая логика, релевантная логика, секвенция, ситусы, сопряжения, теория доказательств, топосы, функторы, элементарная теория категорий

Сигла хранения	Всего экз.	В наличии	Заказано
абонемент	1	1	0