Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик (Запись № 817601)
[ простой вид ]
| 000 -МАРКЕР | |
|---|---|
| контрольное поле | 01414nam0a2200325 4500 |
| 001 - ИДЕНТИФИКАТОР ЗАПИСИ | |
| контрольное поле | RU\NLR\bibl\145698 |
| 005 - ИДЕНТИФИКАТОР ВЕРСИИ | |
| контрольное поле | 20250618045856.0 |
| 021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ | |
| Код страны | российская федерация |
| Номер | 98-46681 |
| Номер Листа государственной регистраци | 2244 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА | |
| Идентификатор записи | (NLR Aleph) 000142754 |
| 100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ | |
| Данные общей обработки | 20010402d1998 |||y0rusy50 ca |
| 101 0# - ЯЗЫК РЕСУРСА | |
| Язык текста, звукозаписи и т.д. | русский |
| 102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА | |
| Страна публикации | российская федерация |
| 105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ | |
| Кодированные данные о монографическом текстовом документе | y ||||||||| |
| 200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ | |
| Основное заглавие | Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик |
| Первые сведения об ответственности | Д.Е. Тишковский |
| 210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР. | |
| Место издания, распространения и т.д. | Новосибирск |
| Имя издателя, распространителя и т. д. | Б.и. |
| Дата издания, распространения и т.д. | 1998 |
| 215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА | |
| Специфическое обозначение материала и объем | 15 с. |
| Размеры | 21 |
| 225 1# - СЕРИЯ | |
| Основное заглавие серии | Препринт |
| Сведения об ответственности | М-во общ. и проф. образования Рос. Федерации, Новосиб. гос. ун-т. НИИ мат.-информ. основ обучения |
| Обозначение тома | N 38 |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ | |
| Текст примечания | Библиогр.: с. 14-15 (5 назв.) |
| 606 0# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ | |
| Наименование темы | Математическая логика |
| Тематический подзаголовок | Исчисление предикатов |
| Системный номер авторитетной/нормативной записи | 2255986 |
| Идентификатор авторитетной/нормативной записи | RU\NLR\auth\661352942 |
| 606 0# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ | |
| Наименование темы | Исчисление предикатов |
| Системный номер авторитетной/нормативной записи | 2255985 |
| Идентификатор авторитетной/нормативной записи | RU\NLR\auth\661352941 |
| 686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ | |
| Индекс | В123 |
| 700 #1 - ИМЯ ЛИЦА - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ | |
| Начальный элемент ввода | Тишковский |
| Часть имени, кроме начального элемента ввода | Д. Е. |
| Расширение инициалов личного имени | Дмитрий Евгеньевич |
| Код отношения | Автор |
| 801 #0 - ИСТОЧНИК ЗАПИСИ | |
| Страна | российская федерация |
| Организация | NLR |
| Дата составления | 20010402 |
| Правила каталогизации | PSBO |
| 801 #1 - ИСТОЧНИК ЗАПИСИ | |
| Страна | российская федерация |
| Организация | NLR |
| Дата составления | 20010402 |
| 830 ## - ОБЩЕЕ ПРИМЕЧАНИЕ, СОСТАВЛЕННОЕ КАТАЛОГИЗАТОРОМ | |
| Текст примечания | Авт. по кн. |
| 852 ## - МЕСТОНАХОЖДЕНИЕ И ШИФР ХРАНЕНИЯ | |
| Идентификатор организации | NLR |
| Шифр хранения (Call Number) | 2001-4/150 |
| 942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС) | |
| Тип экземпляра АБИС | Книга |
| 980 ## - КОЛЛЕКЦИЯ | |
| Название коллекции | Национальная библиография |
| Тип экземпляра | Дата поступления | Библиотека постоянного хранения | Библиотека текущего хранения | Место хранения | Шифр хранения | Штрих-код | Статус не для выдачи |
|---|---|---|---|---|---|---|---|
| Книга | 26.10.2013 | РНБ (Московский) | РНБ (Московский) | Русский книжный фонд: издания с 1957 года, 8этаж | 2001-4/150 | 142754-10 |