Обучение формализации и проверке правильности рассуждений средствами исчислений высказываний и предикатов (Запись № 10237791)
[ простой вид ]
| 000 -МАРКЕР | |
|---|---|
| контрольное поле | 01664nam0a2200349 i 4500 |
| 001 - ИДЕНТИФИКАТОР ЗАПИСИ | |
| контрольное поле | RU\NLR\BIBL_A\010199815 |
| 005 - ИДЕНТИФИКАТОР ВЕРСИИ | |
| контрольное поле | 20241114175658.0 |
| 010 ## - МЕЖДУНАРОДНЫЙ СТАНДАРТНЫЙ НОМЕР КНИГИ (ISBN) | |
| Номер (ISBN) | 9785288054952 |
| Тираж | 300 |
| 021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ | |
| Код страны | Российская Федерация |
| Номер | 2013-107410 |
| Номер Листа государственной регистраци | 7452 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА | |
| Идентификатор записи | (NILC)RuMoRGB-006727761 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА | |
| Идентификатор записи | (NLR Aleph) 010199815 |
| 100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ | |
| Данные общей обработки | 20140304d2013 m y0rusy50 ca |
| 101 0# - ЯЗЫК РЕСУРСА | |
| Язык текста, звукозаписи и т.д. | русский |
| 102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА | |
| Страна публикации | Российская Федерация |
| 105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ | |
| Кодированные данные о монографическом текстовом документе | y|||j||||00yy |
| 200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ | |
| Основное заглавие | Обучение формализации и проверке правильности рассуждений средствами исчислений высказываний и предикатов |
| Сведения, относящиеся к заглавию | учебное пособие |
| Первые сведения об ответственности | Т. М. Косовская |
| Последующие сведения об ответственности | Санкт-Петербургский гос. ун-т |
| 210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР. | |
| Место издания, распространения и т.д. | Санкт-Петербург |
| Имя издателя, распространителя и т. д. | Издательский дом Санкт-Петербургского государственного университета |
| Дата издания, распространения и т.д. | 2013 |
| 215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА | |
| Специфическое обозначение материала и объем | 126, [1] с. |
| Размеры | 20 |
| 225 1# - СЕРИЯ | |
| Основное заглавие серии | Математическая логика |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ | |
| Текст примечания | Библиогр. в конце кн. (7 назв.) |
| 606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ | |
| Наименование темы | Математическая логика |
| Формальный подзаголовок | Учебные издания для высших учебных заведений |
| Тематический подзаголовок | Логическое исчисление |
| Системный номер авторитетной/нормативной записи | 2114042 |
| Идентификатор авторитетной/нормативной записи | RU\NLR\AUTH\661580831 |
| 675 ## - УНИВЕРСАЛЬНАЯ ДЕСЯТИЧНАЯ КЛАССИФИКАЦИЯ (UDC/УДК) | |
| Индекс | 510.6(075.8) |
| 686 1# - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ | |
| Индекс | В123я73-1 |
| 700 #1 - ИМЯ ЛИЦА - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ | |
| Начальный элемент ввода | Косовская |
| Часть имени, кроме начального элемента ввода | Т. М. |
| Расширение инициалов личного имени | Татьяна Матвеевна |
| 801 #0 - ИСТОЧНИК ЗАПИСИ | |
| Страна | Российская Федерация |
| Организация | RuMoRKP |
| Дата составления | 20140121 |
| Правила каталогизации | RCR |
| 801 #2 - ИСТОЧНИК ЗАПИСИ | |
| Страна | Российская Федерация |
| Организация | РГБ |
| Дата составления | 20140131 |
| Правила каталогизации | rcr |
| 801 #1 - ИСТОЧНИК ЗАПИСИ | |
| Страна | Российская Федерация |
| Организация | RuMoRKP |
| Дата составления | 20140121 |
| Источник данных | rusmarc |
| 942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС) | |
| Тип экземпляра АБИС | Книга |
| 980 ## - КОЛЛЕКЦИЯ | |
| Название коллекции | НБР |
Нет доступных экземпляров.