Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Приложение семантики Крипке к исследованию правил вывода (Record no. 26699)

000 -Маркер записи
Контрольное поле постоянной длины 01159nam a2200217 4500
001 - Контрольный номер
Контрольное поле vtls000035032
005 - Дата корректировки
Контрольное поле 20210921112624.0
008 - Кодируемые данные
Контрольное поле постоянной длины 091028s1998 ru f mb 000 0 rus d
035 ## - Системный контрольный номер
Системный контрольный номер 0037-16560
040 ## - Источник каталогиз.
Служба первич. каталог. RU-ToGU
Код языка каталог. rus
Служба, преобразующая запись RU-ToGU
Правила каталог. PSBO
100 1# - Автор
Автор Безгачева, Юлия Викторовна.
9 (RLIN) 130266
245 10 - Заглавие
Заглавие Приложение семантики Крипке к исследованию правил вывода
Продолж. заглавия Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
260 ## - Выходные данные
Место издания Красноярск
Дата издания 1998
300 ## - Физическое описание
Объем 15 с.
504 ## - Библиография
Библиография Библиогр.: с. 14-15
650 07 - Тематические рубрики
Основная рубрика Математическая логика, алгебра и теория чисел
Источник рубрики БВАК1995N4
9 (RLIN) 77697
653 ## - Ключевые слова
Ключевые слова авторефераты диссертаций.
852 4# - Местонахождение единицы хранения
Код организации-хранителя RU-ToGU
Полочный индекс 1-852550к
Авторский знак 51
Код страны ru
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 26699
Holdings
Не выдается Отсутствует на месте Поврежден Исходное место хранения Местоположение Дата поступления Цена Всего выдач Расстановочный шифр Штрих-код Номер копии Класс экземпляра
      Научная библиотека ТГУ Книгохранилище 02/04/2021 5.00   1-852550к 13820000027594 1 Выдается в читальный зал