Электронный каталог

Базы данных

Лосевский читальный зал- результаты поиска

Вид поиска

База библиотеки "Дом А.Ф. Лосева"

Лосевский читальный зал

Газеты и журналы библиотеки "Дом А.Ф. Лосева"

Аудио и видео архив библиотеки "Дом А.Ф. Лосева"

Область поиска

Найдено в других БД:

База библиотеки "Дом А.Ф. Лосева" (6)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>A=Смирнов, Владимир Александрович@<.>

Общее количество найденных документов : 4
Показаны документы с 1 по 4

   16 ЛМК
   С 50

    Смирнов, Владимир Александрович.
    Формальный вывод и логические исчисления : [монография] / В. А. Смирнов ; [Акад. наук СССР, Ин-т философии. - Москва : Наука, 1972. - 270, [1] с. : табл. ; 20 см. - Библиогр.: с. 267 - 268 (59 назв.). - 4 400 экз.. -

УДК

1(470)

Рубрики: Логика
Философия русская, 20 в.

Держатели документа:
Дом А. Ф. Лосева
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   16 ЛМК
   Ф 56


    Философия и логика [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. редакторы П. В. Таванец и В. А. Смирнов]. - Москва : Наука, 1974. - 478, [1] с. : ил. ; 21 см. - (Философия в современном мире). - Библиогр. в конце ст. - В содерж.: О взаимоотношении символической логики и философии / В. А. Смирнов, П. В. Таванец. Лейбниц, Кант и их принципы философии математики / А. Л. Субботин. Конструктивная модель интуиционистского анализа / А. Г. Драгалин. К обоснованию дедуктивного метода / П. Лоренцен. Непротиворечивость и элиминируемость в теории доказательств / Е. Д. Смирнова. Формальные методы и проблемы теории познания / Р. Вуйцицкий. Истинность и формальная непротиворечивость эмпирической теории и понятие смысла / П. Матерна. Понятие факта как модального оператора / Б. Вольневич. К вопросу об определимости предикатов, вводимых двусторонними редукционными предложениями / В. А. Смирнов. О допущениях, вводимых редукционными предложениями / В. Н. Карпович. Несколько замечаний о многозначных логиках Яна Лукасевича / Е. Слупецкий. Вероятность и детерминизм / Г. И. Рузавин. К исследованию и построению прагматических логик / С. П. Будбаева, Б. Н. Пятницын. Теория индуктивного рассуждения и ее формализация / В. Н. Костюк. Вопрос о вопросах / И. Хинтикка. Редукции в логике второй ступени / С. Р. Когаловский. Аксиоматизация некоторых трехзначных исчислений высказываний и их алгебр / В. К. Финн. Роль теории семантических категорий в обосновании современных логических теорий / Б. Дянков. К вопросу о классификации логических форм / Б. Чендов. - 9 500 экз.. -

УДК

Рубрики: Логика--Сборники
   Методология и логика научного познания--Сборники
   Математическая логика--Сборники
   Философия русская, 20 в.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Смирнов, Владимир Александрович \ред.\; Институт философии (Москва)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   1(091)(540)
   И 59

    Инголлс, Дэниэл Генри Холмс (1916 - 1999).
    Введение в индийскую логику навья-ньяя [Текст] : [перевод с английского] / Д. Г. Х. Инголлс ; [отв. ред. и авт. предисл. предисл. В. А. Смирнов] ; Акад. наук СССР, Ин-т востоковедения. - Москва : Наука, Главная редакция восточной литературы, 1974. - 237, [1] с. : ил. ; 22 см. - Библиогр.: с. 222 - 224 и в примеч.: с. 201 - 221 - Указ. имен и предм. на санскрите.: с. 225 - 236. - Пер. изд. : Materials for the study of navya-nyaya logic / Daniel Henry H. Ingalls. - Cambridge (Mass.) ; London, 1951. - 2 000 экз.. -

УДК

16(540)(091)

1(540)(091)

Рубрики: Логика--История--Индия
Философия индийская--История

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Смирнов, Владимир Александрович \авт.\; Ingalls, Daniel Henry Holmes (1916 - 1999)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   1(438)Твардовский
   Т 26

    Твардовский, Казимеж (1866 - 1938).
    Логико-философские и психологические исследования : [перевод с польского] / К. Твардовский ; [предисл. В. А. Смирнова, Я. Саноцкого]. - Москва : РОССПЭН, 1997. - 250, [1] c., [1] л. портр. ; 22 см. - (Серия "Научная философия"). - Библиогр.: с. 244 (9 назв.). - Библиогр. в примеч.: с. 35 - 37. - Библиогр. тр. Казимира Твардовского / сост. Я. Саноцкий: с. 247 - 250. - В прил.: Формальная онтология и логика К. Твардовского : (на путях реформ традиционной логики) / Б. Домбровский. - 1 500 экз.. - ISBN 5-86004-082-2

УДК

1(438)(091)

16(438)(091)

Рубрики: Логика--История--Польша
Философия польская--История, 19 - 20 вв.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Домбровский, Б. Т.; Смирнов, Владимир Александрович \авт.\; Саноцкий, Я. \авт.\; Твардовский, Казимеж (1866 - 1938) \о нем\; Twardowski, Kazimierz (1866 - 1938)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

Тематический навигатор

Статистика обращений

Статистика за 06.07.2024
Число запросов	0
Число посетителей	0
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)