Исследование правил вывода в модальных логиках, расширяющих S4 Автореферат диссертации на соискание ученой степени андидата физико-математических наук. 01.01.06

Bibliographic Details
Main Author:	Кияткин, Владимир Ростиславович
Format:	Book
Language:	Russian
Published:	Красноярск 1999
Subjects:	Математическая логика, алгебра и теория чисел авторефераты диссертаций.
Online Access:	Перейти в каталог НБ ТГУ


LEADER	01411nam a2200241 4500
001	vtls000052098
003	RU-ToGU
005	20210913214239.0
008	091028s1999 ru f mb 000 0 rus d
035			\|a 0054-79360
039		9	\|a 200910282150 \|c 200601031257 \|d VLOAD \|y 200511060533 \|z Александр Эльверович Гилязов
040			\|a RU-ToGU \|b rus \|c RU-ToGU \|e PSBO
100	1		\|a Кияткин, Владимир Ростиславович. \|9 111532
245	1	0	\|a Исследование правил вывода в модальных логиках, расширяющих S4 \|b Автореферат диссертации на соискание ученой степени андидата физико-математических наук. 01.01.06
260			\|a Красноярск \|c 1999 \|9 701771
300			\|a 18 с.
504			\|a Библиогр.: с. 17-18
650	0	7	\|a Математическая логика, алгебра и теория чисел \|2 БВАК1995N4 \|9 77697
653			\|a авторефераты диссертаций.
852	4		\|a RU-ToGU \|h 1-868740к \|i 51 \|n ru
856			\|y Перейти в каталог НБ ТГУ \|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=4755
999			\|c 4755 \|d 4755
952			\|0 0 \|1 0 \|4 0 \|6 1868740К_51 \|7 0 \|9 10010 \|a RU-ToGU \|b RU-ToGU \|c 10024 \|d 2021-04-02 \|g 10.00 \|l 0 \|o 1-868740к 51 \|p 13820000106220 \|r 2021-04-02 \|t 1 \|w 2021-04-02 \|y 1

Similar Items