Normal view
MARC view
Логические и математические исчисления (Record no. 304345)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 01859nam a2200433 i 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000414045 |
| 005 - Дата корректировки | |
| Контрольное поле | 20210922051731.0 |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 111007s2011 ru a b 001 0 rus d |
| 020 ## - Индекс ISBN | |
| ISBN | 9785915222464 |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | to000414045 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| 080 ## - Индекс УДК | |
| Индекс УДК | 510.633(075.8) |
| 100 1# - Автор | |
| Автор | Шиханович, Юрий Александрович. |
| 9 (RLIN) | 165919 |
| 245 10 - Заглавие | |
| Заглавие | Логические и математические исчисления |
| Продолж. заглавия | учебное пособие |
| Ответственность | Ю. А. Шиханович |
| 260 ## - Выходные данные | |
| Место издания | Москва |
| Издательство | Научный мир |
| Дата издания | 2011 |
| 300 ## - Физическое описание | |
| Объем | 253 с. |
| 504 ## - Библиография | |
| Библиография | Библиогр.: с. 235-236 |
| 504 ## - Библиография | |
| Библиография | Указ. терм.: с. 237-251 |
| 653 ## - Ключевые слова | |
| Ключевые слова | учебные пособия для вузов |
| 653 ## - Ключевые слова | |
| Ключевые слова | исчисление высказываний |
| 653 ## - Ключевые слова | |
| Ключевые слова | математическая логика |
| 653 ## - Ключевые слова | |
| Ключевые слова | формализованные языки |
| 653 ## - Ключевые слова | |
| Ключевые слова | синтактика |
| 653 ## - Ключевые слова | |
| Ключевые слова | семантика |
| 653 ## - Ключевые слова | |
| Ключевые слова | дедактика |
| 653 ## - Ключевые слова | |
| Ключевые слова | исчисление предикатов |
| 653 ## - Ключевые слова | |
| Ключевые слова | математические исчисления |
| 653 ## - Ключевые слова | |
| Ключевые слова | Геделя теорема о неполноте |
| 653 ## - Ключевые слова | |
| Ключевые слова | порождающие грамматики |
| 653 ## - Ключевые слова | |
| Ключевые слова | исчисления ассоциативные |
| 653 ## - Ключевые слова | |
| Ключевые слова | исчисление рекурсивных функций |
| 653 ## - Ключевые слова | |
| Ключевые слова | Поста исчисления |
| 653 ## - Ключевые слова | |
| Ключевые слова | Успенского исчисления |
| 653 ## - Ключевые слова | |
| Ключевые слова | теория исчислений общая |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| Полочный индекс | 510 |
| Авторский знак | Ш653 |
| Код страны | ru |
| 908 ## - Параметр входа данных | |
| Параметр входа данных | учебник |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 304345 |
| Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Номер копии | Класс экземпляра |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Научная библиотека ТГУ | Книгохранилище | 04/04/2021 | 355.00 | 1-996877к | 13820000788715 | 1 | Выдается в читальный зал | ||||
| Научная библиотека ТГУ | Читальный зал 5 | 04/04/2021 | 355.00 | 510 Ш653 | 13820000788716 | 2 | 1 неделя |