Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
База библиотеки "Дом А.Ф. Лосева"
Лосевский читальный зал
Газеты и журналы библиотеки "Дом А.Ф. Лосева"
Аудио и видео архив библиотеки "Дом А.Ф. Лосева"
Область поиска
в найденном
 Найдено в других БД:База библиотеки "Дом А.Ф. Лосева" (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>U=164<.>
Общее количество найденных документов : 29
Показаны документы с 1 по 10
 1-10    11-20   21-29 
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)
Найти похожие
2.
   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)
Найти похожие
3.
   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)
Найти похожие
4.
   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)
Найти похожие
5.
   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)
Найти похожие
6.
   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)
Найти похожие
7.
   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)
Найти похожие
8.
   51 ЛМК
   П 58

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

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

   Чёрч, Алонзо (1903 - 1995)
    Введение в математическую логику [Текст] / А. Чёрч ; пер. с англ. В. С. Чернявского ; под ред [и с предисл.] В. А. Успенского. - Москва : Издательство иностранной литературы, 1960 - . - 23 cм.
   T. 1. - 1960. - 484, [1] c. : ил., табл. - Библиогр. в примеч.: с. 340 - 460. - Предм. указ.: с. 461 - 477. - Указ. имен: с. 478 - 481. - Пер. изд. : Introduction to mathematical logic. Vol. 1 / by Alonzo Church. - Princeton, New Jersey, 1956. -
УДК
510.6
164
Рубрики: Математическая логика
   Логика

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

Доп.точки доступа:
Church, Alonzo (1903 - 1995); Чернявский, В. С. \пер.\; Успенский, Владимир Андреевич (1930 - ) \авт.\
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие
10.
   16 ЛМК
   Г 56

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

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

Доп.точки доступа:
Горский, Дмитрий Павлович (1920 - 1994); Уваров, Леонид Васильевич (1934 - ); Толкачев, Александр Антонович; Институт философии и права (Минск)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие
 1-10    11-20   21-29 
 
Стандартный
Расширенный
Профессиональный
По словарю
УДК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 01.07.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)