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

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

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

Доп.точки доступа:
Ассер, Гюнтер
Экземпляры всего: 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). -

УДК

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

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

Доп.точки доступа:
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 см. -

УДК

514

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

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

Доп.точки доступа:
Милнес, Альфред (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. -

УДК

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

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

Доп.точки доступа:
Шрёдер, Эрнст (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 назв.). -

УДК

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

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

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

   51 ЛМК
   Г 45

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

УДК

Рубрики: Математическая логика--Популярные издания
Логика--Популярные издания

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

Доп.точки доступа:
Беляев, С. П. \пер.\; Grzegorczyk, Andrzej (1922 - )
Экземпляры всего: 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 экз.. -

УДК

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

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

Доп.точки доступа:
Аккерман, Вильгельм Фридрих (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]. -

УДК

1(479.22)

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

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

10.

   51 ЛМК
   Д 35

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

УДК

Рубрики: Математическая логика--Популярные издания
Логика--Популярные издания

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

11.

   51 ЛМК
   Е 92

    Ефремов, Георгий Осипович (1912 - 1991).
    Математическая логика и машины [Текст] / Г. О. Ефремов. - Москва : Знание, 1962. - 43, [3] с. : ил., табл. ; 22 см. - (Новое в жизни, науке, технике. Серия 9, Физика и химия ; 1962, №10). - Библиогр. в конце кн.: с. [45] (8 назв.). - 40 000 экз.. -

УДК

12.

   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. -

УДК

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

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

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

13.

   51 ЛМК
   К 17

    Калужин, Лев Аркадьевич.
    Что такое математическая логика? [Текст] / Л. А. Калужин. - Москва : Наука, 1964. - 149, [2] с. : ил., табл. ; 20 см. - Библиогр. в конце кн.: с. 149 - [150] (29 назв.). - 42 000 экз.. -

УДК

14.

   51 ЛМК
   К 30

    Кац, Марк (1914 - 1984).
    Математика и логика [Текст] : ретроспектива и перспективы / М. Кац, С. Улам ; пер. с англ. Н. И. Плужниковой ; под ред. И. М. Яглома. - Москва : Мир, 1971. - 250 с. : ил. ; 20 см. - ("Современная математика" : популярная серия). - Пер. изд. : Mathematics and logic / Mark Kac a. Stanisław M. Ulam. - New York [etc.], 1968. -

УДК

51(0.062)

Рубрики: Математика--Популярные издания
Математическая логика--Популярные издания
Логика--Популярные издания

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

Доп.точки доступа:
Улам, Станислав Марцин (1909 - 1984); Ulam, Stanisław Marcin (1909 - 1984); Яглом, Исаак Моисеевич (1921 - 1988) \ред.\; Плужникова, Н. И. \пер.\; Kас, Mark (1914 - 1984)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

15.

   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. -

УДК

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

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

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

16.

   51 ЛМК
   К 62

    Кольман, Эрнест Яромирович (1892 - 1979).
    Занимательная логика [Текст] : [перевод с чешского] / Э. Кольман, О. Зих. - Москва : Наука, 1966. - 126, [1] с. : ил., табл. ; 20 см. - (Научно-популярная серия / Акад. наук СССР). - Библиогр.: с. 124 (8 назв.). - 50 000 экз.. -

УДК

Рубрики: Математическая логика--Популярные издания
Логика--Популярные издания

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

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

17.

   51 ЛМК
   Л 19

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

УДК

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

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

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

18.

   51 ЛМК
   К 95

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

УДК

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

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

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

19.

   51 ЛМК
   К 95

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

УДК

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

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

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

20.

   51 ЛМК
   Л 59

    Линдон, Рогер Конант (1917 - 1988).
    Заметки по логике [Текст] / Р. Линдон ; пер. с англ. Ю. А. Гостева ; под ред. И. М. Яглома. - Москва : Мир, 1968. - 127, [1] с. : ил. ; 20 см. - ("Современная математика" : популярная серия). - Библиогр.: с. 123. - Указ.: с. 124 - 127. - Пер. изд. : Notes on logic / by Roger C. Lyndon, University of Michigan. - Princeton, New Jersey [etc.], 1966. -

УДК

51(0.062)