Введение в теорию формального вывода программ (Запись № 1144348)
[ простой вид ]
| 000 -МАРКЕР | |
|---|---|
| контрольное поле | 01347nam0a2200337 4500 |
| 001 - ИДЕНТИФИКАТОР ЗАПИСИ | |
| контрольное поле | RU\NLR\bibl\201237 |
| 005 - ИДЕНТИФИКАТОР ВЕРСИИ | |
| контрольное поле | 20260409074629.0 |
| 021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ | |
| Код страны | Российская Федерация |
| Номер | 2001-25196 |
| Номер Листа государственной регистраци | 1199 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА | |
| Идентификатор записи | (NLR Aleph) 000197587 |
| 100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ | |
| Данные общей обработки | 20010831d1999 u y0rusy50 ca |
| 101 0# - ЯЗЫК РЕСУРСА | |
| Язык текста, звукозаписи и т.д. | русский |
| 102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА | |
| Страна публикации | Российская Федерация |
| 105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ | |
| Кодированные данные о монографическом текстовом документе | y ||||||||| |
| 200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ | |
| Основное заглавие | Введение в теорию формального вывода программ |
| Первые сведения об ответственности | Валидов Ф. И. |
| Последующие сведения об ответственности | М-во общ. и проф. образования Рос. Федерации, М-во образования Респ. Татарстан, Ин-т экономики, упр. и права |
| 210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР. | |
| Место издания, распространения и т.д. | Казань |
| Имя издателя, распространителя и т. д. | Таглимат |
| Дата издания, распространения и т.д. | 1999 |
| 215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА | |
| Специфическое обозначение материала и объем | 99 с. |
| Размеры | 21 |
| 606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ | |
| Наименование темы | Программы (компьют.) |
| Идентификатор авторитетной/нормативной записи | RU\NLR\auth\661311565 |
| Системный номер авторитетной/нормативной записи | 2180999 |
| 610 0# - НЕКОНТРОЛИРУЕМЫЕ ПРЕДМЕТНЫЕ ТЕРМИНЫ | |
| Предметный термин | Компьютеры персональные - Программное обеспечение |
| 610 0# - НЕКОНТРОЛИРУЕМЫЕ ПРЕДМЕТНЫЕ ТЕРМИНЫ | |
| Предметный термин | Математическая логика |
| 675 ## - УНИВЕРСАЛЬНАЯ ДЕСЯТИЧНАЯ КЛАССИФИКАЦИЯ (UDC/УДК) | |
| Индекс | 004.42 |
| Издание | 3 |
| Язык издания | rus |
| 686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ | |
| Индекс | 50 |
| Код системы | |
| 686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ | |
| Индекс | 32.973.26-018 |
| Код системы | |
| 686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ | |
| Индекс | З973.2-018 |
| 700 #1 - ИМЯ ЛИЦА - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ | |
| Начальный элемент ввода | Валидов |
| Расширение инициалов личного имени | Фарит Искандерович |
| Код отношения | Автор |
| 801 #0 - ИСТОЧНИК ЗАПИСИ | |
| Страна | Российская Федерация |
| Организация | RKP |
| Дата составления | 20010831 |
| Правила каталогизации | PSBO |
| 801 #1 - ИСТОЧНИК ЗАПИСИ | |
| Страна | Российская Федерация |
| Организация | RKP |
| Дата составления | 20010831 |
| 801 #2 - ИСТОЧНИК ЗАПИСИ | |
| Страна | Российская Федерация |
| Организация | NLR |
| Дата составления | 20020125 |
| Правила каталогизации | rcr |
| 942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС) | |
| Тип экземпляра АБИС | Книга |
| 980 ## - КОЛЛЕКЦИЯ | |
| Название коллекции | Национальная библиография |
| Тип экземпляра | Дата поступления | Источник поступления | Библиотека постоянного хранения | Библиотека текущего хранения | Место хранения | Шифр хранения | Штрих-код | Статус экземпляра |
|---|---|---|---|---|---|---|---|---|
| Книга | 08.11.2001 | Обязательный экземпляр | РНБ (Московский) | РНБ (Московский) | Русский книжный фонд: издания с 1957 года | 2001-4/10971 | 182234 | |
| Книга | 08.11.2001 | Обязательный экземпляр | РНБ (Московский) | РНБ (Московский) | Русский книжный фонд: издания с 1957 года | 2001-4/10971 | 182235 |