Математична логіка 22.122
Документи:
- Многоцветная логика [Текст] = Sokszinu Logika : 175 логических задач / пер. с венг. Ю. А. Данилова. — М. : Мир, 1978. — 435 с.
- Модальная логика [Текст] / пер. с доп. под ред. Г. Е. Минца. — М. : Наука, 1974. — 520 с.
- Основания математической логики [Текст] = Foundations of Mathematical Logic / пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. — М. : Мир, 1969. — 568 с.
- Очерки о математике [Текст] : сб. ст. — М. : Знание, 1973. — 64 с.
- Принятие решений при многих критериях [Текст] / М.Г. Гафт. — М. : Знание, 1979. — 64 с.
- Проблемы математической логики [Текст] : сложность алгоритмов и классы вычислимых функций : сб. переводов / под ред.: В. А. Козмидиади, А. А. Мучника. — М. : Мир, 1970. — 432 с.
- Прямая и обратная теоремы [Текст] : элементы алгебры логики / И.С. Градштейн. — Изд. 3-е, доп. — М. : Наука, 1959. — 128 с.
- Прямая и обратная теоремы [Текст] : элементы алгебры логики / И.С. Градштейн. — Изд. 5-е. — М. : Наука, 1972. — 128 с.
- Решения систем функциональных уравнений многозначной логики [Текст] / С.С. Марченков, В.С. Федорова // Вестник Московского университета Серия 15. Вычислительная математика и кибернетика [Текст] : научный журнал. — С. 29-33.
- Сложность вычислений и алгоритмов [Текст] : сборник переводов / под ред.: В. А. Козмидиади, А.Н. Маслова, Н. В. Петри. — М. : Мир, 1974. — 389 с.
- Теорема Гёделя о неполноте [Текст] / В.А. Успенский. — М. : Наука, 1982. — 111 с.
- Теоретические применения методов математической логики. ІІІ [Текст] : сборник работ / под ред.: Д. Ю. Григорьева, В. П. Оревкова. — Л. : Наука, 1981. — 200 с.
- Теория доказательств [Текст] = Proof Theory / пер. с англ. С. К. Соболева ; под ред. С. И. Адяна. — М. : Мир, 1978. — 413 с.
- Труды ордена Ленина Математического института им. В. А. Стеклова [Текст]. Математическая логика, теория алгоритмов и теория множеств : посвящается акад. П. С. Новикову к его 70-летию / под ред. С. И. Адяна ; отв. ред.С. М. Никольский. — М. : Наука, 1973. — 276 с.
- Что такое математическая логика? [Текст] / Л.А. Калужнин. — М. : Наука, 1964. — 151 с.
- Kieleckie Studia Matematyczne [Текст]. Dydaktyka matematyki / red. J.Korpikiewicz. — Kielce : Wyzsza Szkola Pedagogiczna im.J.Kochanowskiego, 1987. — 247 s.
- Logika matematyczna [Текст]. Algebra logiki : zarys dziejow / S. Kaczorowski. — Lwow : Nakladem "Lwowskiej Biblioteczki Peedagogicznej", 1938. — 26 s.
- Matamatyka [Текст] / Wojciech Zakowski. — Warszawa : Wydawnictwa Naukowo-Techniczne, 1972. — 336 s.
- Matematyka [Текст] : zbior artykulow / red. W.Piechocki. — Kielce : Wyzsza Szkola Pedagogiczna im. J.Kochanowskiego, 1980. — 291 s.
- Matematyka [Текст] : zbior artykulow / red. Z.Steciak. — Kielce : Wyzsza Szkola Pedagogiczna, 1977. — 147 s.
- O logice matematycznej i metodzie dedukcyjnej [Текст] / Alfred Tarski. — Lwow ; Warszawa : Ksiaznica Atlas, [поч. XX ст.]. — 166 s.
- Wstep do teorii kategorii i funktorow [Текст] / Z. Semadeni, A. Wiweger. — Warszawa : Panstwowe Wydawnictwo Naukowe, 1972. — 198 s.
- Zarys logiki matamatycznej [Текст] / Andrzej Gregorczyk. — 6-e wyd. — Warszawa : Panstwowe Wydawnictwo Naukowe, 1984. — 510 s.
1
2
|
