Normal view
MARC view
Математическая логика (Record no. 405087)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 02902nam a2200541 c 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000547986 |
005 - Дата корректировки | |
Контрольное поле | 20210922083858.0 |
007 - Кодируемые данные (физ. описан.) | |
Контрольное поле постоянной длины | cr a|| |||b| |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 160930s2016 ru sb 000 0 rus d |
020 ## - Индекс ISBN | |
ISBN | 9785160116914 |
020 ## - Индекс ISBN | |
ISBN | 9785161040676 |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000547986 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | RU-ToGU |
Код языка каталог. | rus |
Служба, преобразующая запись | RU-ToGU |
080 ## - Индекс УДК | |
Индекс УДК | 510.6(075.8) |
080 ## - Индекс УДК | |
Индекс УДК | 512.563.6 |
100 1# - Автор | |
Автор | Игошин, Владимир Иванович. |
9 (RLIN) | 130451 |
245 10 - Заглавие | |
Заглавие | Математическая логика |
Физический носитель | Электронный ресурс |
Продолж. заглавия | учебное пособие : [для студентов вузов по направлению подготовки 44.03.05 "Педагогическое образование" (бакалавриат)] |
Ответственность | Игошин В. И. |
260 ## - Выходные данные | |
Место издания | Москва |
Издательство | ИНФРА-М |
Дата издания | 2016 |
300 ## - Физическое описание | |
Объем | 1 онлайн-ресурс (398 с.) |
490 1# - Серия | |
Заглавие серии | Высшее образование. Бакалавриат |
490 1# - Серия | |
Заглавие серии | Электронно-библиотечная система "Znanium.com" |
504 ## - Библиография | |
Библиография | Библиогр.: с. 389-392 |
653 ## - Ключевые слова | |
Ключевые слова | учебные издания для вузов |
653 ## - Ключевые слова | |
Ключевые слова | задачи |
653 ## - Ключевые слова | |
Ключевые слова | математическая логика |
653 ## - Ключевые слова | |
Ключевые слова | алгебра высказываний |
653 ## - Ключевые слова | |
Ключевые слова | булевы функции |
653 ## - Ключевые слова | |
Ключевые слова | алгебра логики |
653 ## - Ключевые слова | |
Ключевые слова | аксиоматическая теория высказываний |
653 ## - Ключевые слова | |
Ключевые слова | логика предикатов |
653 ## - Ключевые слова | |
Ключевые слова | кванторы |
653 ## - Ключевые слова | |
Ключевые слова | аксиоматический метод в математике |
653 ## - Ключевые слова | |
Ключевые слова | история математики |
653 ## - Ключевые слова | |
Ключевые слова | основания математики |
653 ## - Ключевые слова | |
Ключевые слова | исчисление предикатов |
653 ## - Ключевые слова | |
Ключевые слова | Геделя теорема о полноте |
653 ## - Ключевые слова | |
Ключевые слова | Левенгейма-Сколема теорема |
653 ## - Ключевые слова | |
Ключевые слова | теория множеств, формализация |
653 ## - Ключевые слова | |
Ключевые слова | арифметика, формализация |
653 ## - Ключевые слова | |
Ключевые слова | числовые системы, формализация |
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие | |
Унифицированное заглавие | Высшее образование |
Название части/раздела работы | Бакалавриат |
9 (RLIN) | 91313 |
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие | |
Унифицированное заглавие | Электронно-библиотечная система "Znanium.com" |
9 (RLIN) | 109807 |
852 4# - Местонахождение единицы хранения | |
Код организации-хранителя | RU-ToGU |
Код страны | ru |
856 40 - Электронный адрес документа | |
Область применения данных поля | ЭБС Лань |
URL | <a href="http://znanium.com/catalog.php?bookinfo=539674">http://znanium.com/catalog.php?bookinfo=539674</a> |
Примечание | Электронное издание |
Примечание для пользователя | Доступ к полному тексту документа после регистрации пользователя на сайте http://e.lanbook.com/ в локальной сети ТГУ |
908 ## - Параметр входа данных | |
Параметр входа данных | учебник |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 405087 |
No items available.