Вы здесь

Главная

интуиционистская логика

Связанные издания:

Computer Science Logic: Proc./23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 2009
Logic, Language, Information and Computation: Proc./16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 2009
Logic, Language, Information and Computation: Proc./17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 2010
Допустимость правил выхода в модальных и суперинтуиционистских логик
Система автоматического доказательства теорем интуиционистской логики на основе обратного метода