Normal view
MARC view
Математическая логика (Record no. 499719)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 03420nam a2200661 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000226090 |
| 005 - Дата корректировки | |
| Контрольное поле | 20210922120335.0 |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 070301s2007 ru b 001 0 rus d |
| 020 ## - Индекс ISBN | |
| ISBN | 5484008026 |
| 020 ## - Индекс ISBN | |
| ISBN | 9785484008025 |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | to000226090 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| Правила каталог. | PSBO |
| 041 1# - Код языка издания | |
| Код языка текста | rus |
| Код языка оригинала | eng |
| 080 ## - Индекс УДК | |
| Индекс УДК | 510.6(075.8) |
| 100 1# - Автор | |
| Автор | Клини, Стивен Коул |
| Дата | 1909-1994 |
| 9 (RLIN) | 76288 |
| 245 10 - Заглавие | |
| Заглавие | Математическая логика |
| Ответственность | С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца |
| 250 ## - Сведения об издании | |
| Основные сведения об издании | Изд. 3-е, стереотип. |
| 260 ## - Выходные данные | |
| Место издания | М. |
| Издательство | Едиториал УРСС |
| Дата издания | 2007 |
| 300 ## - Физическое описание | |
| Объем | 480 с. |
| 504 ## - Библиография | |
| Библиография | Библиогр.: с. 451-465 |
| 504 ## - Библиография | |
| Библиография | Авт. и предм. указ.: с. 470-478 |
| 505 0# - Примечание о содержании | |
| Содержание | В кн. также: Нормализация доказательств. Функциональная форма. Теорема Эрбрана для непредваренных формул / Г. Е. Минц |
| 653 ## - Ключевые слова | |
| Ключевые слова | учебные пособия для вузов |
| 653 ## - Ключевые слова | |
| Ключевые слова | математическая логика |
| 653 ## - Ключевые слова | |
| Ключевые слова | теория моделей |
| 653 ## - Ключевые слова | |
| Ключевые слова | гильбертовская теория доказательств |
| 653 ## - Ключевые слова | |
| Ключевые слова | теория доказательств |
| 653 ## - Ключевые слова | |
| Ключевые слова | формальная арифметика |
| 653 ## - Ключевые слова | |
| Ключевые слова | Тьюринга машины |
| 653 ## - Ключевые слова | |
| Ключевые слова | Геделя теорема о полноте |
| 653 ## - Ключевые слова | |
| Ключевые слова | Генцена теорема о полноте |
| 653 ## - Ключевые слова | |
| Ключевые слова | исчисление высказываний |
| 653 ## - Ключевые слова | |
| Ключевые слова | исчисление предикатов |
| 653 ## - Ключевые слова | |
| Ключевые слова | исчисление предикатов с равенством |
| 653 ## - Ключевые слова | |
| Ключевые слова | основания математики |
| 653 ## - Ключевые слова | |
| Ключевые слова | множества счетные |
| 653 ## - Ключевые слова | |
| Ключевые слова | множества абстрактные |
| 653 ## - Ключевые слова | |
| Ключевые слова | математика аксиоматическая |
| 653 ## - Ключевые слова | |
| Ключевые слова | математика интуитивная |
| 653 ## - Ключевые слова | |
| Ключевые слова | Черча тезис |
| 653 ## - Ключевые слова | |
| Ключевые слова | вычислимость (математическая логика) |
| 653 ## - Ключевые слова | |
| Ключевые слова | разрешимость (математическая логика) |
| 653 ## - Ключевые слова | |
| Ключевые слова | Левенгейма-Скулема теорема |
| 653 ## - Ключевые слова | |
| Ключевые слова | Эрбрана теорема |
| 653 ## - Ключевые слова | |
| Ключевые слова | Крейга интерполяционная теорема |
| 653 ## - Ключевые слова | |
| Ключевые слова | Бета теорема об определимости |
| 653 ## - Ключевые слова | |
| Ключевые слова | Робинсона теорема о непротиворечивости |
| 653 ## - Ключевые слова | |
| Ключевые слова | нормализация доказательств |
| 653 ## - Ключевые слова | |
| Ключевые слова | Эрбрана теорема для непредваренных формул |
| 653 ## - Ключевые слова | |
| Ключевые слова | анализ рассуждений (математическая логика) |
| 653 ## - Ключевые слова | |
| Ключевые слова | рассуждения неполные (математическая логика) |
| 653 ## - Ключевые слова | |
| Ключевые слова | теорема о дедукции |
| 653 ## - Ключевые слова | |
| Ключевые слова | цепи эквивалентности (математическая логика) |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| Полочный индекс | 510 |
| Авторский знак | К493 |
| Код страны | ru |
| 908 ## - Параметр входа данных | |
| Параметр входа данных | учебник |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 499719 |
| Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Расстановочный шифр | Штрих-код | Номер копии | Класс экземпляра | Всего выдач | Всего продлений | Дата окончания срока выдачи | Дата последней выдачи/возврата |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Научная библиотека ТГУ | Абонемент. Депозитарий | 05/04/2021 | 178.64 | 51 К493 | 13820000568509 | 1 | 6 месяцев | |||||||
| Научная библиотека ТГУ | Библиотека РФФ | 05/04/2021 | 178.64 | 51 К493 | 13820000568510 | 2 | 6 месяцев | 1 | 3 | 21/08/2023 | 28/06/2021 | |||
| Научная библиотека ТГУ | Абонемент. Депозитарий | 05/04/2021 | 178.64 | 51 К493 | 13820000568511 | 3 | 6 месяцев |