Авторизація
Прізвище
Пароль
 

Бази даних


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

Вид пошуку
База библиотеки "Дом А.Ф. Лосева"
Лосевский читальный зал
Газеты и журналы библиотеки "Дом А.Ф. Лосева"
Аудио и видео архив библиотеки "Дом А.Ф. Лосева"
Зона пошуку
у знайденому
 Знайдено у інших БД:База библиотеки "Дом А.Ф. Лосева" (17)
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>S=Математическая логика<.>
Загальна кількість знайдених документів : 43
Показані документи с 1 за 10
 1-10    11-20   21-30   31-40   41-43 
1.
   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)
Знайти схожі
2.
   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)
Знайти схожі
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 ЛМК
   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)
Знайти схожі
5.
   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)
Знайти схожі
6.
   51 ЛМК
   Г 45

    Гжегорчик, Анджей (1922 - ).
    Популярная логика [Текст] : общедоступный очерк логики предложений / А. Гжегорчик ; пер. с пол. С. П. Беляева. - Изд. 2-е, стер. - Москва : Наука, Главная редакция физико-математической литературы, 1972. - 110, [1] с. : ил., табл. ; 20 см. - Библиогр.: с. 11 - 12 (18 назв.). - Пер. вид. : Logika popularna / Andrzej Grzegorczyk. - Warszawa, 1961. - 80 000 прим.. -
УДК
510.6(0.062)
164(0.062)
Рубрики: Математическая логика--Популярные издания
   Логика--Популярные издания

Утримувачі документа:
Дом А. Ф. Лосева

Дод.точки доступу:
Беляев, С. П. \пер.\; Grzegorczyk, Andrzej (1922 - )
Примірників всього: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Знайти схожі
7.
   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)
Знайти схожі
8.
   16 ЛМК
   Г 56

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

Утримувачі документа:
Дом А. Ф. Лосева

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

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

Утримувачі документа:
Дом А. Ф. Лосева
Примірників всього: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Знайти схожі
10.
   51 ЛМК
   Д 35

    Депман, Иван Яковлевич (1885 - 1970).
    Первое знакомство с математической логикой [Текст] / И. Я. Депман ; О-во "Знание" РСФСР, Ленингр. отд-ние. - Ленинград : [б. и.], 1963. - 55, [1] с. : ил., портр., табл. ; 20 см. - 14 400 прим.. -
УДК
510.6(0.062)
164(0.062)
Рубрики: Математическая логика--Популярные издания
   Логика--Популярные издания

Утримувачі документа:
Дом А. Ф. Лосева
Примірників всього: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Знайти схожі
 1-10    11-20   21-30   31-40   41-43 
 
Стандартний
Розширений
Професійний
За словником
УДК-навігатор
Тематичний навігатор
Статистика звернень
Статистика
за 03.07.2024
Кількість запитів 0
Кількість відвідувачів 0
Кількість замовлень 0
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)