Алгоритмические вопросы для субструктурных логик с итерацией Клини
диссертация ... доктора физико-математических наук : 1.1.5.
диссертация ... доктора физико-математических наук : 1.1.5.
Москва, 2023
Алгоритмические вопросы для субструктурных логик с итерацией Клини
диссертация ... доктора физико-математических наук : 1.1.5.
Москва, 2023
В полном объеме текст документа доступен в электронных читальных залах библиотек-участников НЭБ
Библиографическое описание
Скопировать
Кузнецов, Степан Львович. Алгоритмические вопросы для субструктурных логик с итерацией Клини : диссертация ... доктора физико-математических наук : 1.1.5. / Кузнецов Степан Львович; [Место защиты: ФГБУН Математический институт им. В.А. Стеклова Российской академии наук ; Диссовет Д 002.022.XX (24.1.167.03)]. — Москва, 2023. — 266 с. : ил..
Детальная информация
Код документа в НЭБ
000199_000009_012697189
Каталог
Автор(ы)
Заглавие
Алгоритмические вопросы для субструктурных логик с итерацией Клини : диссертация . доктора физико-математических наук : 1.1.5.
Место издания
Москва
Год издания
2023
Объем
266 с.
Ответственность
Кузнецов Степан Львович; [Место защиты: ФГБУН Математический институт им. В.А. Стеклова Российской академии наук ; Диссовет Д 002.022.XX (24.1.167.03)]
ББК
В123,03
Язык
Русский
Еще
Ключевые слова
логические системы с итерацией, логика действий АСТ, алгебры и решетки Клини с делениями
Библиотека
LDR
02438nam a22003857 4500
001
012697189
003
RuMoRGB
005
20240829110056.0
008
240316s2023 ru |||| m |00 u rus d
017
##
$a: д2670-24
$b: RuMoRGB
$a: д2670-24
$b: RuMoRGB
040
##
$a: RuMoRGB
$b: rus
$e: rcr
$a: RuMoRGB
$b: rus
$e: rcr
041
##
$a: rus
$a: rus
044
##
$a: ru
$a: ru
072
#1
$a: 1.1.5.
$2: nsnr2021
$a: 1.1.5.
$2: nsnr2021
084
##
$a: В123,03
$2: rubbk
$a: В123,03
$2: rubbk
100
1#
$a: Кузнецов, Степан Львович
$a: Кузнецов, Степан Львович
245
##
$a: Алгоритмические вопросы для субструктурных логик с итерацией Клини :
$b: диссертация ... доктора физико-математических наук : 1.1.5.
$c: Кузнецов Степан Львович; [Место защиты: ФГБУН Математический институт им. В.А. Стеклова Российской академии наук ; Диссовет Д 002.022.XX (24.1.167.03)]
$a: Алгоритмические вопросы для субструктурных логик с итерацией Клини :
$b: диссертация ... доктора физико-математических наук : 1.1.5.
$c: Кузнецов Степан Львович; [Место защиты: ФГБУН Математический институт им. В.А. Стеклова Российской академии наук ; Диссовет Д 002.022.XX (24.1.167.03)]
260
##
$a: Москва
$c: 2023
$a: Москва
$c: 2023
300
##
$a: 266 с.
$b: ил.
$a: 266 с.
$b: ил.
504
##
$a: Библиогр.: с. 258-266
$a: Библиогр.: с. 258-266
541
1#
$b: https://vak.minobrnauki.gov.ru/advert/100077671
$c: D11-27304
$d: 20231212
$e: 2024.03.14
$b: https://vak.minobrnauki.gov.ru/advert/100077671
$c: D11-27304
$d: 20231212
$e: 2024.03.14
541
1#
$c: OEK
$d: 20240318
$c: OEK
$d: 20240318
650
#1
$a: Математическая логика, алгебра, теория чисел и дискретная математика
$2: nsnr2021
$a: Математическая логика, алгебра, теория чисел и дискретная математика
$2: nsnr2021
650
#1
$a: Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов
$2: rubbk
$a: Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов
$2: rubbk
653
##
$a: логические системы с итерацией
$a: логические системы с итерацией
653
##
$a: логика действий АСТ
$a: логика действий АСТ
653
##
$a: алгебры и решетки Клини с делениями
$a: алгебры и решетки Клини с делениями
720
1#
$a: ФГБУН Математический институт им. В.А. Стеклова Российской академии наук ; Диссовет Д 002.022.XX (24.1.167.03)
$a: ФГБУН Математический институт им. В.А. Стеклова Российской академии наук ; Диссовет Д 002.022.XX (24.1.167.03)
787
11
$w: 012419279
$i: Автореферат
$w: 012419279
$i: Автореферат
852
1#
$a: РГБ
$b: OD
$c: HL03
$j: 71 24-1/37
$x: 39
$a: РГБ
$b: OD
$c: HL03
$j: 71 24-1/37
$x: 39
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01012000000/rsl01012697000/rsl01012697189/rsl01012697189.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01012000000/rsl01012697000/rsl01012697189/rsl01012697189.pdf
$y: Читать
LKR
##
$a: PAR
$b: 012419279
$l: RSL01
$m: Диссертация
$n: Автореферат
$a: PAR
$b: 012419279
$l: RSL01
$m: Диссертация
$n: Автореферат
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « Алгоритмические вопросы для субструктурных логик с итерацией Клини : диссертация . доктора физико-математических наук : 1.1.5. » , автор — Кузнецов С.Л.. Документ был опубликован в 2023 году. Место издания — Москва. Электронный ресурс – электронная копия документа предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5. На сайте rusneb.ru Вы можете читать онлайн оцифрованную версию документа « Алгоритмические вопросы для субструктурных логик с итерацией Клини : диссертация . доктора физико-математических наук : 1.1.5. » в удобной системе просмотра документов.