| 000 | 01173nam a2200217 4500 | ||
|---|---|---|---|
| 001 | vtls000052098 | ||
| 003 | RU-ToGU | ||
| 005 | 20210913214239.0 | ||
| 008 | 091028s1999 ru f mb 000 0 rus d | ||
| 035 | _a0054-79360 | ||
| 040 |
_aRU-ToGU _brus _cRU-ToGU _ePSBO |
||
| 100 | 1 |
_aКияткин, Владимир Ростиславович. _9111532 |
|
| 245 | 1 | 0 |
_aИсследование правил вывода в модальных логиках, расширяющих S4 _bАвтореферат диссертации на соискание ученой степени андидата физико-математических наук. 01.01.06 |
| 260 |
_aКрасноярск _c1999 |
||
| 300 | _a18 с. | ||
| 504 | _aБиблиогр.: с. 17-18 | ||
| 650 | 0 | 7 |
_aМатематическая логика, алгебра и теория чисел _2БВАК1995N4 _977697 |
| 653 | _aавторефераты диссертаций. | ||
| 852 | 4 |
_aRU-ToGU _h1-868740к _i51 _nru |
|
| 999 | _c4755 | ||