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

Базы данных

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

Вид поиска

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

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

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

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

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

в найденном

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

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

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

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

Поисковый запрос: <.>U=164<.>

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

1-20 21-29

   51 ЛМК
   A88

   Asser, Günter
    Einführung in die mathematische Logik [Text] : [Teil 1 - 3] / von Dr. G. Asser, Prof. mit vollem Lehrauftrag am Mathematische Inst. der Ernst-Moritz-Arndt-Universität Greifswald. - 3. unveränd. Aufl. - Berlin : B. G. Teubner, 1967 - . - 21 cм.
   T. 1 : Aussagenkalkül. - 1967. - IV, [2], 184 c. : табл. - (Mathematisch-Naturwissenschaftliche Bibliothek ; 18). - Библиогр. в конце предисл.: с. [VI] (15 назв.). -

УДК

510.6

164

Рубрики: Математическая логика
Логика

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

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

   51 ЛМК
   L44

    Lebesgue, Henri Léon (1875 - 1941).
    Leçons sur l'intégration et la recherche des fonctions primitives, professées au Collège de France par Henri Lebesgue ... [Text]. - Paris : Gauthier-Villars, 1904. - [2], VII, [1], 138 c. : табл. ; 25 см. - (Collection de monographies sur la théorie des fonctions / publiée sous la direction de m. Émile Borel). -

УДК

510.6

164

Рубрики: Математическая логика
Логика

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

Доп.точки доступа:
Lebesgue, Henri Léon (1875 - 1941); Borel, Félix Edouard Justin Émile (1871 - 1956) \ред.\; Борель, Феликс Эдуард Жустин Эмиль (1871 - 1956); Лебег, Анри Леон (1875 - 1941)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   51 ЛМК
   M70

    Milnes, Alfred (1849 - 1921).
    Elementary notions of logic [Text] : designed as prolegomena to the study of geometry / by Alfred Milnes, M. A. (Lond.) late scholar of Lincoln College, Oxford. - 2nd ed., rev. a. enl. - London : W. Swan Sonnenschein & Co., 1884. - IX, [1], 135 c. : ил. ; 19 см. -

УДК

510.6

514

164

Рубрики: Математическая логика
Геометрия
Логика

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

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

   51 ЛМК
   S33

   Schröder, Ernst (1841 - 1902)
    Vorlesungen über die Algebra der Logik [Text] : (exakte Logik) : [Band 1 - 3] / von Dr. Ernst Schröder ... . - Leipzig : Druck und Verlag von B. G. Teubner, 1890 - 1905. - 24 cм.
   Bd. 1. - 1890. - XII, 717 c. : ил. - Библиогр.: с. 700 - 715. - Указ имен: с. 716 - 717. -

УДК

510.6

164

Рубрики: Математическая логика
Логика

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

Доп.точки доступа:
Шрёдер, Эрнст (1841 - 1902)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   51 ЛМК
   W67

    Wigge, Heinrich.
    Der Zahlbegriff in der neueren Philosophie [Text] : eine kritische Studie / von Dr. Heinrich Wigge, Dozent am Friedrichs-Polytechnikum Cöthen. - Langensalza : Wendt & Klauwell, 1921. - [4], 56 c. ; 24 см. - Библиогр.: с. 56 (17 назв.). -

УДК

510.6

164

Рубрики: Математическая логика
Логика

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

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

   51 ЛМК
   Г 47

    Гильберт, Давид (1862 - 1943).
    Основы теоретической логики [Текст] / Д. Гильберт и В. Аккерман ; пер. с нем. А. А. Ерофеева ; ред., вступ. ст. и коммент. С. А. Яновской. - Москва : Государственное издательство иностранной литературы, 1947. - 302, [4] с. : ил., табл. ; 21 см. - Библиогр.: с. 297 - 298. - Предм. указ.: с. 299 - 302. - Пер. изд. : Grundzuge der theoretischen Logik / von D. Hilbert u. W. Ackermann. - 2., verb. Aufl. - New York, 1946. - 10 000 экз.. -

УДК

510.6

164

Рубрики: Математическая логика
Логика

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

Доп.точки доступа:
Аккерман, Вильгельм Фридрих (1896 - 1962); Ackermann, Wilhelm Friedrich (1896 - 1962); Ерофеев, А. А. \пер.\; Яновская, София Александровна (1896 - 1966) \авт.\; Hilbert, David (1862 - 1943)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   16 ЛМК
   Г 56


    Гносеологические проблемы формализации [Текст] : [монография / Д. П. Горский, Л. В. Уваров, А. А. Толкачев и др.] ; Ин-т философии и права Акад. наук БССР. - Минск : Наука и техника, 1969. - 265, [2] с. ; 21 см. - Библиогр. в подстроч. примеч. - Авт. указаны в содерж. - 1 600 экз.. -

УДК

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

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

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

   16 ЛМК
   Г 59

   Гокиели, Леван Петрович (1901 - 1975)
    Логика [Текст] : [монография : часть 1 - 2] / Л. П. Гокиели ; [Акад. наук Груз. ССР, Ин-т философии]. - Тбилиси : Мецниереба, 1965 - 1967. - 22 см. - Парал. тит. л. груз. - 1 000 экз..
   [Ч.] 2. - 1967. - 269, [2] с. - Библиогр. в подстроч. примеч. - Указ. в конце кн.: с. 256 - [270]. -

УДК

164

510.6

1(479.22)

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

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

   51 ЛМК
   Г 47

    Карри, Хаскелл Брукс (1900 - 1982).
    Основания математической логики [Текст] / Хаскелл Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. - Москва : Мир, 1969. - 567, [1] с. : ил. ; 22 см. - Библиогр.: с. 518 - 547. - Указ. символов: с. 548. - Указ. терминов: с. 549 - 562. - Указ. имен: с. 563 - 567. - Пер. изд. : Foundations of mathematical logic / by Haskell B. Curry. - New York [etc.], 1963. -

УДК

510.6

164

Рубрики: Математическая логика
Логика

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

Доп.точки доступа:
Донченко, В. В. \пер.\; Гастев, Юрий Алексеевич (1928 - 1993) \ред.\; Curry, Haskell Brooks (1900 - 1982)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

10.

   51 ЛМК
   К 33

    Кейслер, Г. Джером (1936 - ).
    Теория непрерывных моделей [Текст] : ретроспектива и перспективы / Г. Дж. Кейслер, Чэн Чень-чунь ; пер. с англ. Г. А. Бурле ; под ред. А. Г. Драгалина. - Москва : Мир, 1971. - 184 с. ; 20 см. - Библиогр.: с. 173 - 177. - Указ.: с. 178 - 182. - Пер. изд. : Continuous model theory / by Chen Chung Chang a. H. Jerome Keisler. - Princeton, New Jersey, 1966. -

УДК

510.6

164

Рубрики: Математическая логика
Логика

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

Доп.точки доступа:
Чэн, Чень-чунь; Chen, Chung Chang; Драгалин, Альберт Григорьевич (1942 - 1998) \ред.\; Бурле, Г. А. \пер.\; Keisler, H. Jerome (1936 - )
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

11.

   51 ЛМК
   Л 19

    Лакатос, Имре (1922 - 1974).
    Доказательства и опровержения [Текст] : как доказываются теоремы / И. Лакатос ; пер. с англ. И. Н. Веселовского ; Акад. наук СССР. - Москва : Наука, 1967. - 150, [2] с. : ил. ; 20 см. - Библиогр. в конце кн.: с. 146 - [151]. - 70 000 экз.. -

УДК

510.6

164

Рубрики: Математическая логика
Логика

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

Доп.точки доступа:
Веселовский, Иван Николаевич (1892 - 1977) \пер.\; Lakatos, Imre (1922 - 1974)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

12.

   51 ЛМК
   К 95

    Кутюра, Луи (1868 - 1914).
    Алгебра логики [Текст] / Л. Кутюра ; пер. с прибавлениями проф. И. Слешинского. - Одесса : Mathesis, 1909. - IV, [2], 108, XIII, [1] с. ; 23 см. - Библиогр.: с. 103 - 104 (19 назв.). -

УДК

510.6

164

Рубрики: Математическая логика
Логика

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

Доп.точки доступа:
Слешинский, Иван Владимирович \пер.\; Couturat, Louis (1868 - 1914)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

13.

   51 ЛМК
   К 95

    Кутюра, Луи (1868 - 1914).
    Философские принципы математики [Текст] / Л. Кутюра ; пер. с фр. Б. Кореня ; под ред. П. С. Юшкевича ; со вступ. ст. Ф. Ф. Линде. - СПб. : Издание Н. П. Карбасникова, 1913 (Типография Кюгельген, Глич и К°). - VIII, 260, [5] с. ; 25 см. - Библиогр. в подстроч. примеч. - Указ. имен в конце кн. -

УДК

Рубрики: Математическая логика
Математика--Философские вопросы
Логика

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

Доп.точки доступа:
Корень, Б. \пер.\; Юшкевич, Павел Соломонович (1873 - 1945) \ред.\; Линде, Ф. Ф. \авт. предисл.\; Couturat, Louis (1868 - 1914)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

14.

   51 ЛМК
   М 50

    Мендельсон, Эллиот.
    Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - Москва : Наука, Главная редакция физико-математической литературы, 1971. - 320 с. : ил. ; 22 см. - Библиогр.: с. 296 - 309. - Алф. указ.: с. 310 - 317. - Пер. изд. : Introduction to mathematical logic / by Elliott Mendelson. - Princeton, New Jersey [etc.]. - 30 000 экз.. -

УДК

510.6

164

Рубрики: Математическая логика
Логика

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

Доп.точки доступа:
Кабаков, Ф. А. \пер.\; Адян, Сергей Иванович (1931 - ) \ред.\; Mendelson, Elliott
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

15.

   111 ЛМК
   Н 48

    Некрасов, Павел Алексеевич (1853 - 1924).
    Философия и логика науки о массовых проявлениях человеческой деятельности [Текст] : (пересмотр оснований социальной физики Кетле) : [читано в заседании Московского математического общества 24 сентября 1902 года] / П. А. Некрасов. - Москва : Издание Математического общества, состоящего при Императорском Московском университете, 1902 (Университетская типография). - V, [1], 138, [1] с. ; 26 см. - Библиогр. в подстроч. примеч. - Отт. из "Мат. сб." Т. 23. -

УДК

Рубрики: Деятельность (филос.)
Математическая логика
Философия русская, 20 в.

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

Доп.точки доступа:
Кетле, Ламбер Адольф Жак (1796 - 1874) \о нем\
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

16.

   1(430)Наторп ЛМК
   Н 33

    Наторп, Пауль (1854 - 1924).
    Логика [Текст] : обоснование и логическое построение математики и математического естествознания : (cжатое пособие к лекциям) / П. Наторп, проф. философии Марбург. ун-та ; пер. с нем. В. А. Радзиевского ; с предисл. И. И. Лапшина, прив.-доц. СПб. ун-та. - С.-Петербург : Улей, 1909 (Типография А. В. Орлова). - VII, [1], 64 с. ; 22 см. - Библиогр. в конце предисл.: с. [VIII] (10 назв.). -

УДК

164

510.6

1(430)

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

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

Доп.точки доступа:
Радзиевский, В. А. \пер.\; Лапшин, Иван Иванович (1870 - 1952) \авт. предисл.\; Natorp, Paul (1854 - 1924)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

17.

   51 ЛМК
   П 30

    Петров, Юрий Александрович (1927 - 2001).
    Логические проблемы абстракций бесконечности и осуществимости [Текст] / Ю. А. Петров ; Акад. наук СССР, Науч. совет по комплексной проблеме "Кибернетика", Секция филос. вопр. кибернетики. - Москва : Наука, 1967. - 163, [1] с. ; 20 см. - Библиогр.: с. 160 - 162 (82 назв.). - 8 300 экз.. -

УДК

Рубрики: Бесконечность (филос.)
   Осуществимость (филос.)
   Математическая логика
   Философия русская, 20 в.

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

18.

   51 ЛМК
   П 58

    Попов, Александр Иванович (1899 - 1973).
    Введение в математическую логику [Текст] / А. И. Попов ; Ленингр. гос. ун-т им. А. А. Жданова. - [Ленинград] : Издательство Ленинградского университета, 1959. - 106, [2] с. : табл. ; 22 см. - Библиогр. в конце кн.: с. 106 - [107] (26 назв.). - 5 250 экз.. -

УДК

510.6

164

Рубрики: Математическая логика
Логика

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

19.

   51 ЛМК
   С 49

    Слупецкий, Ежи (1904 - 1987).
    Элементы математической логики и теория множеств [Текст] : [учебник] / Е. Слупецкий, Л. Борковский ; пер. с пол. О. Ф. Серебрянникова ; спецред. И. Н. Коваленко. - Москва : Прогресс : Издательство Московского университета, 1965. - 367, [1] с. : ил., табл. ; 21 cм. - Библиогр. в подстроч. примеч. - Пер. изд. : Elementy logiki matematycznej i teorii mnogosci / Jerzy Słupecki, Ludwik Borkowski. - Warszawa, 1963. -

УДК

510.6(075.8)

510.22(075.8)

164

Рубрики: Множества (мат.)--Теория--Учебники для высших учебных заведений
Математическая логика--Учебники для высших учебных заведений

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

Доп.точки доступа:
Борковский, Людвик; Borkowski, Ludwik; Серебрянников, Олег Федорович (1930 - 1991) \пер.\; Коваленко, Игорь Николаевич (1935 - ) \ред.\; Słupecki, Jerzy (1904 - 1987)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

20.

   51 ЛМК
   С 47

    Слинин, Ярослав Анатольевич (1932 - ).
    Современная модальная логика [Текст] : развитие теории алетических модальностей (1920 - 1960 гг.) / Я. А. Слинин ; Ленингр. гос. ун-т им. А. А. Жданова. - Ленинград : Издательство Ленинградского университета, 1976. - 102, [2] с. : ил., табл. ; 22 см. - Библиогр. в подстроч. примеч. - 5 660 экз.. -

УДК

510.643

164

Рубрики: Логика модальная

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

1-20 21-29

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

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

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

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