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 назв.). -
Логика Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Ассер, Гюнтер Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |
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) |
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 см. -
Геометрия Логика Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Милнес, Альфред (1849 - 1921) Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |
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) |
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) |
Г 45 Гжегорчик, Анджей (1922 - ). Популярная логика [Текст] : общедоступный очерк логики предложений / А. Гжегорчик ; пер. с пол. С. П. Беляева. - Изд. 2-е, стер. - Москва : Наука, Главная редакция физико-математической литературы, 1972. - 110, [1] с. : ил., табл. ; 20 см. - Библиогр.: с. 11 - 12 (18 назв.). - Пер. изд. : Logika popularna / Andrzej Grzegorczyk. - Warszawa, 1961. - 80 000 экз.. -
Логика--Популярные издания Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Беляев, С. П. \пер.\; Grzegorczyk, Andrzej (1922 - ) Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |
Г 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) |
Г 56 Гносеологические проблемы формализации [Текст] : [монография / Д. П. Горский, Л. В. Уваров, А. А. Толкачев и др.] ; Ин-т философии и права Акад. наук БССР. - Минск : Наука и техника, 1969. - 265, [2] с. ; 21 см. - Библиогр. в подстроч. примеч. - Авт. указаны в содерж. - 1 600 экз.. -
Философия русская, 20 в. Методология и логика научного познания Научное познание--Формализация (филос.) Математическая логика Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Горский, Дмитрий Павлович (1920 - 1994); Уваров, Леонид Васильевич (1934 - ); Толкачев, Александр Антонович; Институт философии и права (Минск) Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |
Г 59 Гокиели, Леван Петрович (1901 - 1975) Логика [Текст] : [монография : часть 1 - 2] / Л. П. Гокиели ; [Акад. наук Груз. ССР, Ин-т философии]. - Тбилиси : Мецниереба, 1965 - 1967. - 22 см. - Парал. тит. л. груз. - 1 000 экз.. [Ч.] 2. - 1967. - 269, [2] с. - Библиогр. в подстроч. примеч. - Указ. в конце кн.: с. 256 - [270]. -
Математическая логика Философия грузинская, 20 в. Держатели документа: Дом А. Ф. Лосева Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |
Д 35 Депман, Иван Яковлевич (1885 - 1970). Первое знакомство с математической логикой [Текст] / И. Я. Депман ; О-во "Знание" РСФСР, Ленингр. отд-ние. - Ленинград : [б. и.], 1963. - 55, [1] с. : ил., портр., табл. ; 20 см. - 14 400 экз.. -
Логика--Популярные издания Держатели документа: Дом А. Ф. Лосева Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |
Е 92 Ефремов, Георгий Осипович (1912 - 1991). Математическая логика и машины [Текст] / Г. О. Ефремов. - Москва : Знание, 1962. - 43, [3] с. : ил., табл. ; 22 см. - (Новое в жизни, науке, технике. Серия 9, Физика и химия ; 1962, №10). - Библиогр. в конце кн.: с. [45] (8 назв.). - 40 000 экз.. -
Логика--Популярные издания Держатели документа: Дом А. Ф. Лосева Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |
Г 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) |
К 17 Калужин, Лев Аркадьевич. Что такое математическая логика? [Текст] / Л. А. Калужин. - Москва : Наука, 1964. - 149, [2] с. : ил., табл. ; 20 см. - Библиогр. в конце кн.: с. 149 - [150] (29 назв.). - 42 000 экз.. -
Логика--Популярные издания Держатели документа: Дом А. Ф. Лосева Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |
К 30 Кац, Марк (1914 - 1984). Математика и логика [Текст] : ретроспектива и перспективы / М. Кац, С. Улам ; пер. с англ. Н. И. Плужниковой ; под ред. И. М. Яглома. - Москва : Мир, 1971. - 250 с. : ил. ; 20 см. - ("Современная математика" : популярная серия). - Пер. изд. : Mathematics and logic / Mark Kac a. Stanisław M. Ulam. - New York [etc.], 1968. -
Математическая логика--Популярные издания Логика--Популярные издания Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Улам, Станислав Марцин (1909 - 1984); Ulam, Stanisław Marcin (1909 - 1984); Яглом, Исаак Моисеевич (1921 - 1988) \ред.\; Плужникова, Н. И. \пер.\; Kас, Mark (1914 - 1984) Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |
К 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) |
К 62 Кольман, Эрнест Яромирович (1892 - 1979). Занимательная логика [Текст] : [перевод с чешского] / Э. Кольман, О. Зих. - Москва : Наука, 1966. - 126, [1] с. : ил., табл. ; 20 см. - (Научно-популярная серия / Акад. наук СССР). - Библиогр.: с. 124 (8 назв.). - 50 000 экз.. -
Логика--Популярные издания Скачать содержание Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Зих, Отокар (1908 - 1984); Zich, Otakar (1908 - 1984) Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |
Л 19 Лакатос, Имре (1922 - 1974). Доказательства и опровержения [Текст] : как доказываются теоремы / И. Лакатос ; пер. с англ. И. Н. Веселовского ; Акад. наук СССР. - Москва : Наука, 1967. - 150, [2] с. : ил. ; 20 см. - Библиогр. в конце кн.: с. 146 - [151]. - 70 000 экз.. -
Логика Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Веселовский, Иван Николаевич (1892 - 1977) \пер.\; Lakatos, Imre (1922 - 1974) Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |
К 95 Кутюра, Луи (1868 - 1914). Алгебра логики [Текст] / Л. Кутюра ; пер. с прибавлениями проф. И. Слешинского. - Одесса : Mathesis, 1909. - IV, [2], 108, XIII, [1] с. ; 23 см. - Библиогр.: с. 103 - 104 (19 назв.). -
Логика Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Слешинский, Иван Владимирович \пер.\; Couturat, Louis (1868 - 1914) Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |
К 95 Кутюра, Луи (1868 - 1914). Философские принципы математики [Текст] / Л. Кутюра ; пер. с фр. Б. Кореня ; под ред. П. С. Юшкевича ; со вступ. ст. Ф. Ф. Линде. - СПб. : Издание Н. П. Карбасникова, 1913 (Типография Кюгельген, Глич и К°). - VIII, 260, [5] с. ; 25 см. - Библиогр. в подстроч. примеч. - Указ. имен в конце кн. -
Математика--Философские вопросы Логика Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Корень, Б. \пер.\; Юшкевич, Павел Соломонович (1873 - 1945) \ред.\; Линде, Ф. Ф. \авт. предисл.\; Couturat, Louis (1868 - 1914) Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |
Л 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. -
Математическая логика--Популярные издания Логика--Популярные издания Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Яглом, Исаак Моисеевич (1921 - 1988) \ред.\; Гастев, Юрий Алексеевич (1928 - 1993) \пер.\; Lyndon, Roger Conant (1917 - 1988) Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |