–
Статьи в журналах
-
- 2003 Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle
- Chernov Alexey V., Skvortsov Dmitriy P., Skvortsova Elena Z., Vereshchagin Nikolai K.
- в журнале Proceedings of the Steklov Institute of Mathematics, издательство Springer Verlag (Germany), том 242, с. 67-85
-
- 2003 Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона исключенного третьего
- Верещагин Н.К., Скворцов Д.П., Скворцова Е.З., Чернов А.В.
- в журнале Труды Математического института им.В.А.Стеклова РАН, издательство МИАН (Москва), том 242, с. 77-97
Статьи в сборниках
-
- 2002 Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle
- Chernov Alexey V., Skvortsov Dmitrij P., Skvortsova Elena Z., Vereshchagin Nikolai K.
- в сборнике Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 2471, с. 74-88 DOI