| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | m | |||
| 001 | Контрольный номер | RU/IS/BASE/102699662 | ||
| 005 | Дата корректировки | 20250425152844.2 | ||
| 008 | Кодируемые данные | 19971021 | ||
| 040 | 00 | e | Правила каталог. | Л 971021 |
| 084 | a | Индекс другой классификации/Индекс ББК | 87.452я43; 87.4я43 | |
| 090 | 00 | a | Полочн. индекс | 87.452я43 испр. |
| x | Авторский знак | С 30 | ||
| 097 | 00 | a | 230 | |
| 245 | 00 | a | Заглавие | Семантика модальных и интенсиональных логик |
| c | Ответственность | составление, общая редакция, вступительная статья В. А. Смирнова; перевод с английского А. А. Мучника, А. П. Никифорова, З. А. Сокулер | ||
| 260 | 00 | a | Место издания | Москва |
| b | Издательство | Прогресс | ||
| c | Дата издания | 1981 | ||
| 300 | 00 | a | Объем | 424 с. |
| 336 | a | Термин вида содержания | Текст | |
| 337 | a | Термин типа средства | непосредственный | |
| 505 | 0_ | a | Форматированное содержание | Алгебраическая семантика для модальных логик I |
| b | Автор | Леммон Е. | ||
| 505 | 0_ | a | Форматированное содержание | Алгебраическая семантика для модальных логик II |
| b | Автор | Леммон Е. | ||
| 505 | 0_ | a | Форматированное содержание | Виды модальности |
| b | Автор | Хинтикка Я. | ||
| 505 | 0_ | a | Форматированное содержание | Временная логика и непрерывность времени |
| b | Автор | Прайор А. Н. | ||
| 505 | 0_ | a | Форматированное содержание | Интенсиональные модели для формул первой ступени |
| b | Автор | Белнап Н. Д. | ||
| 505 | 0_ | a | Форматированное содержание | Модальность и квантификация |
| b | Автор | Хинтикка Я. | ||
| 505 | 0_ | a | Форматированное содержание | Модальные логики с линейными отношениями альтернативности |
| b | Автор | Сегерберг К. | ||
| 505 | 0_ | a | Форматированное содержание | Общий метод фильтрации для модальных логик |
| b | Автор | Габбай Д. М. | ||
| 505 | 0_ | a | Форматированное содержание | Прагматика и интенсиональная логика |
| b | Автор | Монтегю Р. | ||
| 505 | 0_ | a | Форматированное содержание | Пропозициональные кванторы в модальной логике |
| b | Автор | Файн К. | ||
| 505 | 0_ | a | Форматированное содержание | Семантика следования |
| b | Автор | Роутлей Р. | ||
| 505 | 0_ | a | Форматированное содержание | Семантика типа Монтегю для модальных логик с пропозициональными кванторами |
| b | Автор | Габбай Д. М. | ||
| 505 | 0_ | a | Форматированное содержание | Семантический анализ временных логик |
| b | Автор | Томасон С. К. | ||
| 505 | 0_ | a | Форматированное содержание | Семантическое рассмотрение модальной логики |
| b | Автор | Крипке С. А. | ||
| 505 | 0_ | a | Форматированное содержание | Советы по модальной логике |
| b | Автор | Скотт Д. | ||
| 650 | 04 | a | Основная рубрика | логика |
| a | Основная рубрика | математическая логика | ||
| a | Основная рубрика | философские науки | ||
| 653 | 00 | a | Ключевые слова | алгебра логики |
| a | Ключевые слова | алгебраическая семантика | ||
| a | Ключевые слова | временная логика | ||
| a | Ключевые слова | дедуктивная логика | ||
| a | Ключевые слова | интенсиональная логика | ||
| a | Ключевые слова | квантификация | ||
| a | Ключевые слова | логическая семантика | ||
| a | Ключевые слова | логический метод | ||
| a | Ключевые слова | метод фильтрации | ||
| a | Ключевые слова | модальная логика | ||
| a | Ключевые слова | модальность | ||
| a | Ключевые слова | прагматика | ||
| a | Ключевые слова | пропозициональные кванторы | ||
| a | Ключевые слова | семантика следования | ||
| a | Ключевые слова | семантический анализ | ||
| 700 | 10 | a | Автор | Крипке С. А. |
| 700 | 10 | a | Автор | Хинтикка Я. |
| 700 | 10 | a | Автор | Прайор А. Н. |
| 700 | 10 | a | Автор | Леммон Е. |
| 700 | 10 | a | Автор | Томасон С. К. |
| 700 | 10 | a | Автор | Сегерберг К. |
| 700 | 10 | a | Автор | Габбай Д. М. |
| 700 | 10 | a | Автор | Файн К. |
| 700 | 10 | a | Автор | Монтегю Р. |
| 700 | 10 | a | Автор | Скотт Д. |
| 700 | 12 | a | Автор | Белнап Н. Д. |
| 700 | 12 | a | Автор | Роутлей Р. |
| 700 | 12 | a | Автор | Смирнов В. А. |
| e | Роль лиц | составитель; редактор; автор вступительной статьи | ||
| 700 | 12 | a | Автор | Мучник А. А. |
| e | Роль лиц | переводчик | ||
| 700 | 12 | a | Автор | Никифорова А. Л. |
| e | Роль лиц | переводчик | ||
| 700 | 12 | a | Автор | Сокулер З. А. |
| e | Роль лиц | переводчик | ||
| 901 | t | Тип документа | m | |
| 952 | a | Тип литературы для КСУ ВШ | НАУ |