| 000 | 01859nam a2200433 i 4500 | ||
|---|---|---|---|
| 001 | vtls000414045 | ||
| 003 | RU-ToGU | ||
| 005 | 20210922051731.0 | ||
| 008 | 111007s2011 ru a b 001 0 rus d | ||
| 020 | _a9785915222464 | ||
| 035 | _ato000414045 | ||
| 040 |
_aRU-ToGU _brus _cRU-ToGU |
||
| 080 | _a510.633(075.8) | ||
| 100 | 1 |
_aШиханович, Юрий Александрович. _9165919 |
|
| 245 | 1 | 0 |
_aЛогические и математические исчисления _bучебное пособие _cЮ. А. Шиханович |
| 260 |
_aМосква _bНаучный мир _c2011 |
||
| 300 | _a253 с. | ||
| 504 | _aБиблиогр.: с. 235-236 | ||
| 504 | _aУказ. терм.: с. 237-251 | ||
| 653 | _aучебные пособия для вузов | ||
| 653 | _aисчисление высказываний | ||
| 653 | _aматематическая логика | ||
| 653 | _aформализованные языки | ||
| 653 | _aсинтактика | ||
| 653 | _aсемантика | ||
| 653 | _aдедактика | ||
| 653 | _aисчисление предикатов | ||
| 653 | _aматематические исчисления | ||
| 653 | _aГеделя теорема о неполноте | ||
| 653 | _aпорождающие грамматики | ||
| 653 | _aисчисления ассоциативные | ||
| 653 | _aисчисление рекурсивных функций | ||
| 653 | _aПоста исчисления | ||
| 653 | _aУспенского исчисления | ||
| 653 | _aтеория исчислений общая | ||
| 852 | 4 |
_aRU-ToGU _h510 _iШ653 _nru |
|
| 908 | _aучебник | ||
| 999 | _c304345 | ||