Открытый Российско-Финский коллоквиум по логике. Санкт-Петербург, 14–16 июня 2012 годасборник

Статьи, опубликованные в сборнике

---

• • 2012 Предикатная логика ветвящегося времени QCTL: алгоритмические, семантические и дедуктивные аспекты
  • Котикова Е.А., Рыбаков М.Н.
  • в сборнике Открытый Российско-Финский коллоквиум по логике. Санкт-Петербург, 14–16 июня 2012 года, тезисы