| 000 | 02257nam a2200409 i 4500 | ||
|---|---|---|---|
| 001 | vtls000441095 | ||
| 003 | RU-ToGU | ||
| 005 | 20210922060150.0 | ||
| 008 | 130110s2009 ru a sb 000 0 rus d | ||
| 020 | _a9785811400829 | ||
| 035 | _ato000441095 | ||
| 040 |
_aRU-ToGU _brus _cRU-ToGU |
||
| 080 | _a510.6(075.8) | ||
| 100 | 1 |
_aЛихтарников, Леонид Моисеевич. _9124824 |
|
| 245 | 1 | 0 |
_aМатематическая логика _hЭлектронный ресурс _bкурс лекций : задачник-практикум и решения : учебное пособие _cЛ. М. Лихтарников, Т. Г. Сукачева |
| 250 | _aИзд. 4-е, стер. | ||
| 260 |
_aСанкт-Петербург [и др.] _bЛань _c2009 |
||
| 300 |
_a1 онлайн-ресурс (276 с.) _bил. |
||
| 490 | 1 | _aУчебники для вузов. Специальная литература | |
| 504 | _aБиблиогр.: с. 273 | ||
| 653 | _aэлектронные учебники для вузов | ||
| 653 | _aматематическая логика | ||
| 653 | _aалгебра логики | ||
| 653 | _aисчисление высказываний | ||
| 653 | _aлогика предикатов | ||
| 653 | _aматематические теории | ||
| 653 | _aбулева алгебра | ||
| 653 | _aтеория алгоритмов | ||
| 653 | _aзадачи | ||
| 653 | _aрешение задач | ||
| 700 | 1 |
_aСукачева, Тамара Геннадьевна. _9266764 |
|
| 830 | 0 |
_aУчебники для вузов _pСпециальная литература _974739 |
|
| 852 | 4 |
_aRU-ToGU _nru |
|
| 856 | 4 | 0 |
_3ЭБС Лань _uhttp://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=231 _nЭлектронное издание _zДоступ к полному тексту документа после регистрации пользователя на сайте http://e.lanbook.com/ в локальной сети ТГУ |
| 908 | _aучебник | ||
| 999 | _c327568 | ||