| 000 | 02474nam a2200505 c 4500 | ||
|---|---|---|---|
| 001 | vtls000581547 | ||
| 003 | RU-ToGU | ||
| 005 | 20220329144258.0 | ||
| 006 | m o d | ||
| 007 | cr | | ||
| 008 | 170906s2017 ru ac sb 001 0 rus d | ||
| 020 | _a9785946216173 | ||
| 035 | _ato000581547 | ||
| 040 |
_aRU-ToGU _brus _cRU-ToGU |
||
| 080 | _a510.6(075.8) | ||
| 100 | 1 |
_aЗюзьков, Валентин Михайлович _968848 |
|
| 245 | 1 | 0 |
_aВведение в математическую логику _bучебное пособие : [для студентов математических направлений университетов] _cВ. М. Зюзьков ; Нац. исслед. Том. гос. ун-т |
| 260 |
_aТомск _bИздательский Дом Томского государственного университета _c2017 |
||
| 300 |
_a257 с. _bил., портр., табл. |
||
| 504 | _aБиблиогр.: с. 248-252 | ||
| 504 | _aПредм. и персон. указ.: 252-257 | ||
| 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задачи по математической логике | ||
| 653 | _aтеоремы математической логики | ||
| 655 | 4 |
_aучебные издания _9712764 |
|
| 710 | 2 |
_aТомский государственный университет _953646 |
|
| 852 | 4 |
_aRU-ToGU _h51 _iЗ-981 _nru |
|
| 856 | 7 | _uhttp://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000581547 | |
| 908 | _aучебник | ||
| 999 | _c129546 | ||