Normal view
MARC view
Теория доказательств (Record no. 91446)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 01715nam a2200349 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000092697 |
| 005 - Дата корректировки | |
| Контрольное поле | 20210921205427.0 |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 010223s1978 ru f 001 0 rus d |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | 0096-00460 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| Правила каталог. | PSBO |
| 041 1# - Код языка издания | |
| Код языка текста | rus |
| Код языка оригинала | eng |
| 080 ## - Индекс УДК | |
| Индекс УДК | 510.6 |
| 100 1# - Автор | |
| Автор | Такеути, Г. |
| 9 (RLIN) | 183761 |
| 245 10 - Заглавие | |
| Заглавие | Теория доказательств |
| Ответственность | Г. Такеути; Пер. с англ. С. К. Соболева; Под ред. С. И. Адяна |
| 246 11 - Заглавие тома/части | |
| Заглавие тома/части | Proof theory |
| 260 ## - Выходные данные | |
| Место издания | М. |
| Издательство | Мир |
| Дата издания | 1978 |
| 300 ## - Физическое описание | |
| Объем | 412, [4] с. |
| 504 ## - Библиография | |
| Библиография | Предм. указ.: с. 407-410 |
| 653 ## - Ключевые слова | |
| Ключевые слова | доказательств теория (мат. логика). |
| 653 ## - Ключевые слова | |
| Ключевые слова | логика инфинитарная (мат. логика).. |
| 653 ## - Ключевые слова | |
| Ключевые слова | Пеано арифметика (мат. логика). |
| 653 ## - Ключевые слова | |
| Ключевые слова | системы первого порядка (доказательств теория). |
| 653 ## - Ключевые слова | |
| Ключевые слова | системы второго порядка (доказательств теория). |
| 653 ## - Ключевые слова | |
| Ключевые слова | системы конечного порядка (доказательств теория). |
| 653 ## - Ключевые слова | |
| Ключевые слова | исчисление предикатов (доказательств теория). |
| 653 ## - Ключевые слова | |
| Ключевые слова | непротиворечивости доказательства. |
| 653 ## - Ключевые слова | |
| Ключевые слова | математическая логика. |
| 700 1# - Другие авторы | |
| Другие авторы | Адян, С. И. |
| Роль лиц | ред. |
| Код отношения | edt |
| 9 (RLIN) | 169550 |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| Полочный индекс | 510 |
| Авторский знак | Т15 |
| Код страны | ru |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 91446 |
| Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Класс экземпляра | Номер копии | Инвентарный номер (дополнительно) | Дата последней выдачи/возврата |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Научная библиотека ТГУ | Книгохранилище | 03/04/2021 | 2.10 | 1-330058к | 13820000578849 | Выдается в читальный зал | |||||||
| Научная библиотека ТГУ | Книгохранилище | 03/04/2021 | 2.10 | 1-320733 | 13820000593613 | 1 месяц | |||||||
| Научная библиотека ТГУ | Абонемент. Депозитарий | 03/04/2021 | 2.10 | 51 Т15 | 13820000248404 | 6 месяцев | 1 | ||||||
| Научная библиотека ТГУ | Абонемент | 03/04/2021 | 1 | 51 Т15 | 13820000259734 | 6 месяцев | 2 | 79.288.9 | 10/04/2021 |