Исследование правил вывода в модальных логиках, расширяющих 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