RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Янков Вадим Анатольевич

В базах данных Math-Net.Ru
Публикаций: 11
Научных статей: 11

Статистика просмотров:
Эта страница:328
Страницы публикаций:1767
Полные тексты:630
Списки литературы:148

http://www.mathnet.ru/rus/person8837
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/352493

Публикации в базе данных Math-Net.Ru
1997
1. В. А. Янков, “Диалоговая интерпретация классического исчисления предикатов”, Изв. РАН. Сер. матем., 61:1 (1997),  215–224  mathnet  mathscinet  zmath  elib; V. A. Yankov, “Dialogue interpretation of the classical predicate calculus”, Izv. Math., 61:1 (1997), 225–233  isi  scopus
1994
2. В. А. Янков, “Диалоговая теория доказательства для арифметики, анализа и теории множеств”, Изв. РАН. Сер. матем., 58:3 (1994),  140–168  mathnet  mathscinet  zmath; V. A. Yankov, “Dialog theory of proofs for arithmetics, analysis and set theory”, Russian Acad. Sci. Izv. Math., 44:3 (1995), 571–600  isi
1969
3. В. А. Янков, “Конъюктивно неразложимые формулы в пропозициональных исчислениях”, Изв. АН СССР. Сер. матем., 33:1 (1969),  18–38  mathnet  mathscinet  zmath; V. A. Yankov, “Conjunctively indecomposable formulas in propositional calculi”, Math. USSR-Izv., 3:1 (1969), 17–35
1968
4. В. А. Янков, “Построение последовательности сильно независимых суперинтуиционистских пропозициональных исчислений”, Докл. АН СССР, 181:1 (1968),  33–34  mathnet  mathscinet  zmath
5. В. А. Янков, “Об исчислении слабого закона исключенного третьего”, Изв. АН СССР. Сер. матем., 32:5 (1968),  1044–1051  mathnet  mathscinet  zmath; V. A. Yankov, “The calculus of the weak “Law of excluded middle””, Math. USSR-Izv., 2:5 (1968), 997–1004
6. В. А. Янков, “Три последовательности формул с двумя переменными в позитивной пропозициональной логике”, Изв. АН СССР. Сер. матем., 32:4 (1968),  880–883  mathnet  mathscinet  zmath; V. A. Yankov, “Three sequences of formulas with two variables in the positive propositional logic”, Math. USSR-Izv., 2:4 (1968), 845–848
7. В. А. Янков, “О расширении интуиционистского пропозиционального исчисления до классического и минимального до интуиционистского”, Изв. АН СССР. Сер. матем., 32:1 (1968),  208–211  mathnet  mathscinet  zmath; V. A. Yankov, “On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus”, Math. USSR-Izv., 2:1 (1968), 205–208
1967
8. В. А. Янков, “О финитной общезначимости формул специального вида”, Докл. АН СССР, 174:2 (1967),  302–304  mathnet  mathscinet  zmath
1963
9. В. А. Янков, “О связи между выводимостью в интуиционистском исчислении высказываний и конечными импликативными структурами”, Докл. АН СССР, 151:6 (1963),  1293–1294  mathnet  mathscinet  zmath
10. В. А. Янков, “О реализуемых формулах логики высказываний”, Докл. АН СССР, 151:5 (1963),  1035–1037  mathnet  mathscinet  zmath
11. В. А. Янков, “О некоторых суперконструктивных исчислениях высказываний”, Докл. АН СССР, 151:4 (1963),  796–798  mathnet  mathscinet  zmath

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019