Г 59 Гокиели, Леван Петрович (1901 - 1975). К проблеме аксиоматизации логики [Текст] / Л. П. Гокиели ; Ин-т философии Акад. наук Груз. ССР. - Тбилиси : Издательство Академии наук Грузинской ССР, 1947. - [4], 86 с. ; 26 cм. - Библиогр. в подстроч. примеч. - 1 000 экз.. -
Логика--Аксиоматизация Философия грузинская, 20 в. Держатели документа: Дом А. Ф. Лосева Экземпляры всего: 2 ЛЧЗ (2) Свободны: ЛЧЗ (2) |
К 47 Клаус, Георг (1912 - 1974). Введение в формальную логику [Текст] / Георг Клаус ; пер. с нем. и предисл. А. А. Ветрова. - Москва : Издательство иностранной литературы, 1960. - 506, [1] с. ; 21 cм. - Библиогр.: с. 483 - 484. - Указ. имен: с. 498. - Предм. указ.: с. 499 - 504. - Пер. изд. : Einführung in die formale Logic / Georg Klaus. - Berlin, 1959. -
Философия немецкая, 20 в. Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Ветров, Анатолий Алексеевич (1922 - 1975) \авт.\; Klaus, Georg (1912 - 1974) Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |
Л 69 Логика [Текст] : [монография / Д. П. Горский, В. Ф. Асмус, П. В. Таванец и др.] ; Акад. наук СССР, Ин-т философии. - Москва : Государственное издательство политической литературы, 1956. - 279, [1] с. : ил. ; 22 см. - Библиогр. в подстроч. примеч. - Авт. указаны на с. 3. - 75 000 экз.. -
Философия русская, 20 в. Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Горский, Дмитрий Павлович (1920 - 1994); Асмус, Валентин Фердинандович (1894 - 1975); Таванец, Петр Васильевич (1911 - 1991); Институт философии (Москва) Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |
Л 84 Лукасевич, Ян (1878 - 1956). Аристотелевская силлогистика с точки зрения современной формальной логики : монография / Я. Лукасевич ; пер. с англ. Н. И. Стяжкина и А. Л. Субботина ; общ. ред. и вступ. ст. П. С. Попова. - Москва : Издательство иностранной литературы, 1959. - 310, [1] c. ; 21 см. - Библиогр. в подстроч. примеч. - Указ.: с. 290 - 308. - Пер. изд. : Aristotle's sillogistic from the standpoint of modern formal logic / Jan Łukasiewicz. - Oxford, 1957. -
Позитивизм Логика формальная Философия греческая, 4 в. до н. э. Философия польская, 20 в. Аннотация: Предлагаемая книга принадлежит перу крупнейшего польского логика Яна Лукасевича (1878 – 1956 гг.). Являясь создателем собственной системы математической логики, Лукасевич выдвинулся также как первоклассный знаток и интерпретатор греческих текстов по логике. Он с необыкновенной тщательностью изучил не только греческие подлинники логических работ Аристотеля, он хорошо знает произведения последователей Аристотеля. Аксиоматизация Лукасевичем дедуктивной системы Аристотеля на редкость удалась: все виды умозаключений можно выводить в строгом порядке при наличии всего четырех аксиом, формулируемых с большой прозрачностью. Для всех, изучающих философию, историю философии и формальную логику. Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Стяжкин, Николай Иванович (1932 - 1986) \пер.\; Субботин, Александр Леонидович (1927 - ) \пер.\; Попов, Павел Сергеевич (1892 - 1964) \авт.\; Аристотель (384 - 322 до н. э.) \о нем\; Aristoteles (384 - 322 до н. э.) \о нем\; Łukasiewicz, Jan (1878 - 1956) Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |