Научный доклад "Аксиоматизация логики квантовой вычислимости"
21 ноября в 16:00, ауд. Г307, состоится совместное заседание научного семинара кафедры логики и проблемной группы по квантовой логике. С докладом "Аксиоматизация логики квантовой вычислимости" выступит д.ф.н., профессор, заведующий кафедрой истории и философии науки института философии РАН Владимир Леонидович Васюков.