Зведений каталог бібліотек Львова

• Класифікатори та каталоги
• Логіка. Епістемологія. Теорія пізнання. Методологія та логіка науки

Логістика. Символічна логіка. Математична логіка. Логічне числення

Підтеми:

• Природа та роль символічної логіки
• Знаки. Символи. Символізм
• Функції
• Аксіоми. Принципи. Правила. Закони
• Дійсність ствердження (теореми)
• Індивідуальні питання. Індивідуальні теореми
• Застосування
• Логіка доказу стверджень (теорем). Числення викладів (формулювань)
• Логіка концепцій. Числення тверджень та класів. Функції з однією змінною
• Логіка співвідношень. Логіка включення. Числення функцій. Числення ієрархій. Функції з багатьма змінними

Документи:

• Аналитики первая и вторая [Текст] : пер. с греч. / Аристотель. — М. : Госполитиздат, 1952. — 438 с.
• Культура мышления: методологические проблемы научно-педагогической работы [Текст] / Юрий Петров. — М. : Изд-во Моск. у-та, 1990. — 120 с.
• Логика, мышление, информация [Текст] / М-во высшего и сред. спец. образования РСФСР. Калининградский гос. ун-т. — Ленинград : Изд-во Ленингрд. ун-та, 1988.
• Логіка [Текст] : навчальний посібник для учнів шкіл, гімназій, ліцеїв / В.Н. Гладунський, Г.А. Гладунська. — Львів : Каменяр, 1996. — 188 с.
• Логістика в контексті сталого розвитку України [Текст] / Т.І.Жарик // Формування ринкових відносин в Україні : збірник наукових праць. — К., 2010. — №11. — С.19-22.
• Логістика [Текст] : метод. вказівки до самост. вивч. навч. дисципліни для студ. баз. напряму підготовки 6.0501 "Економіка і підприємництво" / Нац. ун-т "Львів. політехніка" ; [уклад.: Є. В. Крикавський, О. С. Костюк, Р. Патора, С. І. Кубів]. — Л. : Вид-во Нац. ун-ту "Львів. політехніка", 2006. — 28 с.
• Основи логіки [Текст] : метод. вказівки до практ. занять з дисципліни "Комп'ют. дискрет. математика" для студ. баз. напряму "Програм. інженерія" / М-во освіти і науки України, Нац. ун-т "Львів. політехніка" ; [уклад.: П. В. Сердюк, О. О. Нитребич]. — Л. : Вид-во Львів. політехніки, 2013. — 28 с.
• Понятия и их определения [Текст] / под ред. И. Я. Чупахина ; АН БССР. — Минск : Наука и техника, 1970. — 72 с.
• Проблемы логики и методологии познания [Текст] / И.Д. Андреев. — М. : Наука, 1972. — 320 с.
• Сборник задач по математической логике и алгебре множеств [Текст] / А.В. Гохман, М.А. Спивак, Г.И. Житомирский та ін. — Саратов : Изд-во Саратов. ун-та, 1965. — 88 с.
• Справочная книга по математической логике. В 4-х частях [Текст] : справочная книга / под ред. Дж. Барвайса. Пер. с англ. С. Г. Давыдова, Г. Е. Минца. Под ред. Оревкова В. П. — М. : Наука, 1983. — 393 с.
• Справочная книга по математической логике. В 4-х частях [Текст] : справочная книга / под ред. Дж. Барвайса. Пер. с англ. С. Г. Дворникова, И. А. Лаврова. Под ред. Ю. Л. Ершова. — М. : Наука, 1982. — 360 с.
• Справочная книга по математической логике. В 4-х частях [Текст] : справочная книга / под ред. Дж. Барвайса. Пер. с англ. С. С. Гончарова и др. Под ред.Ю. Л. Ершова. — М. : Наука, 1982. — 392 с.
• Справочная книга по математической логике. В 4-х частях [Текст] : справочная книга / под ред. Дж. Барвайса. — М. : Наука, 1982. — 374 с.
• Теоретичні засади логіки [Текст] : монографія / М-во освіти і науки України, Львів. нац. ун-т ім. І. Франка. — Львів : Вид. центр ЛНУ : Палітра друку, 2002. — 233 с.
• (Zeszyty naukowe) [Текст]. Studium problemu usprawnienia procesu filtrowania paliwa w silniku wysokopreznym / Tadeusz Siuta : monografia / Politechnika Krakowska im.Tadeusza Kosciuszki. — Krakow : [s. n.], 2006. — 174 s.