Skip navigation
Главная
Просмотреть
Разделы
и коллекции
Посмотреть:
По дате
По автору
По заглавию
По тематике
Источники
Справка
Язык
English
русский
Зарегистрированным:
Авторизация
Обновления на e-mail
Редактировать профиль
Авторам
ISSN:
2310-757X
Электронный научный архив УрФУ
Просмотр коллекции по группе - По автору Olkhovikov, G. K.
Перейти к:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Ъ
Ы
Ь
Э
Ю
Я
или введите несколько первых букв:
Сортировка:
по заглавию
по дате публикации
по дате сохранения
Упорядочить:
по возрастанию
по убыванию
Вывести на страницу:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Авторы:
все
1
5
10
15
20
25
30
35
40
45
50
Отображение результатов 1 до 6 из 6
Дата публикации
Название
Авторы
2014
Model-theoretic characterization of intuitionistic predicate formulas
Olkhovikov, G. K.
2013
Model-theoretic characterization of intuitionistic propositional formulas
Olkhovikov, G. K.
2017
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
Olkhovikov, G. K.
2009
К новым онтологическим предпосылкам логики действия: анализ языка L0
Ольховиков, Г. К.
;
Olkhovikov, G. K.
2010
О некоторых теоремах теории дельта
Ольховиков, Г. К.
;
Olkhovikov, G. K.
2014
Референция к действиям как основание для референции к объектам
Ольховиков, Г. К.
;
Olkhovikov, G. K.