BooksSitemapMathematicsLogicOthers
...Die logischen grundlagen der exakten wissenschaften by Paul Natorp - 1910 - 416 pages
Äquivalenz dreier Präzisierungen des Begriffs der konstruktiven Ordinalzahl by Egon Börger - 1970 - 18 pages
Écrits logiques by Jacques Herbrand - 1968 - 244 pages
Éléments de la théorie des ensembles by Émile Borel - 1949 - 319 pages
Éléments de logique contemporaine by Marie-Louise Roure - 1967 - 127 pages
Éléments de logique mathématique by Georg Kreisel, Jean Louis Krivine - 1967 - 214 pages
Épistémologie, mathématique et psychologie by Evert Willem Beth, Jean Piaget - 1961 - 352 pages
Étude critique du théorème de Pythagore by Julien Malengreau - 1945 - 127 pages
Étude critique du théorème de Pythagore by Julien Malengreau - 1945 - 127 pages
Étude logique des circuits électriques et des systèmes binaires by René A. Higonnet, René A. Gréa - 1955 - 452 pages
Încercări vechi și noi de logică neclasică by Grigore C. Moisil - 1965 - 461 pages
Über die algebra der logik ... by Eugen Müller - 1901
Über die algebra der logik ... by Eugen Müller - 1900
Über die Bedeutung der mathematischen Logik by Karl Weidner - 1917 - 50 pages
Über die Struktur gewisser Funktionenkegel by Georg Siegfried Guber - 1961 - 60 pages
Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip by Andrzej Mostowski - 1939 - 252 pages
Über die Vollständigkeit der Axiomensysteme mit einem endlichen Individuenbereich by Paul Edwin Kustaanheimo - 1949 - 43 pages
Über einige stetige Kurven by Oscar Alfred Bernhard Janzen - 1907 - 70 pages
Über mathematische logik ... by Siegbert Wiesner - 1914 - 12 pages
Überlegungen zu einer formalen dialektischen Logik by Uwe Petersen - 1973 - 139 pages
Ślad i obecność by Barbara Skarga - 2004 - 249 pages
Актуальные вопросы математической логики и теории множеств by Е. А. Щегольков, Московский государственный педагогический институт имени В.И. Ленина. Кафедра математического анализа - 1975 - 310 pages
Алгебры Гейтинга с регулярной инволюцией by Вячеслав Юрьевич Месхи - 1990 - 52 pages
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний by Николай Александрович Шанин - 1965 - 38 pages
Бесконечные формулы в интуиционистской логике высшего порядка by А Таутс, Termofüüsika ja Elektrofüüsika Instituut (Eesti NSV Teaduste Akadeemia) - 1991 - 99 pages
Боровшийся с бесконечным by Владимир Николаевич Катасонов - 1999 - 207 pages
Введение в математическую логику by Андрей Николаевич Колмогоров, Альберт Григорьевич Драгалин - 1982 - 118 pages
Введение в математическую логику by Александр Иванович Попов - 1959 - 106 pages
Введение в математическую логику by Александр Иванович Попов - 1959 - 106 pages
Введение в теорию конечных автоматов by Натан Ефимович Кобринский, Борис Авраамович Трахтенброт - 1962 - 404 pages
Введение в формал+£нуиı̐луı̐Ł логику by Георг Клаус - 1960 - 506 pages
Вопросы математической логики и ее приложения by Е. А. Щегольков, Московский государственный педагогический институт имени В.И. Ленина - 1984 - 111 pages
Гносеологические проблемы формализации by Инстытут филасофии и права (Акадэмия навук Беларускай ССР) - 1969 - 267 pages
Гомоморфизмы и модели by Юрий Алексеевич Гастев - 1975 - 150 pages
Десятая проблема Гильберта by Юрий В. Матиясевич - 1993 - 223 pages
Диаграммы Венна by Александр Сергеевич Кузичев - 1968 - 252 pages
Задачи по теории множеств, математической логике и теории алгоритмов by Игорь Андреевич Лавров, Лариса Львовна Максимова - 1984 - 223 pages
Задачи по теории множеств, математической логике и теории алгоритмов by Игорь Андреевич Лавров, Лариса Львовна Максимова - 1975 - 239 pages
Закон отрицания отрицания и его методологические функции by Владимир Аполлосович Глядков - 1982 - 268 pages
Закон отрицания отрицания и его методологические функции by Владимир Аполлосович Глядков - 1982 - 268 pages
Записки научных семинаров Ленинградского отделения Математического института им. В.А. Стеклова АН СССР by А. О. Слисенко, Математический институт им. В.А. Стеклова. Ленинградское отделение
Записки научных семинаров Ленинградского отделения Ордена Ленина Математического института им. В.А. Стеклова Академии наук (ЛОМИ) by А. О. Слисенко, Математический институт им. В.А. Стеклова. Ленинградское отделение - 1991
Избранные труды: Математика, механика, физика by Андрей Андреевич Марков, Николай Макарович Нагорный - 2002
Избранные труды: Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы by Андрей Андреевич Марков - 2003
Индексные множества и степени некоторых классов рекурсивно перечислимых множеств by Сейтиняз Каллибеков - 1983 - 83 pages
Исследование логических систем by Софья Александровна Яновская, Институт философии (Академия наук СССР) - 1970 - 333 pages
Исследования аналитического наследия Львовско-Варшавской школы by Владимир Леонидович Васюков - 2006 - 304 pages
Исследования по математической лингвистике by Научный совет по комплексной проблеме "Кибернетика" (Академия наук СССР), Всесоюзный институт научной и технической информации (Совиет Унион) - 1972 - 297 pages
Исследования по математической линтвистике лотике и информационным языкам by Исследования по математической лингвистике, Научный совет по комплексной проблеме "Кибернетика" (Академия наук СССР), Всесоюзный институт научной и технической информации (Совиет Унион) - 1972 - 297 pages
Исследования по математической логике и теории алгоритмов by Tʻbilisis saxelmcipʻo universiteti. Gamoqenebitʻi matʻematikis instituti - 1978
Исследования по математической логике и теории алгоритмов by Tʻbilisis saxelmcipʻo universiteti. Gamoqenebitʻi matʻematikis instituti - 1975
Исследования по математической логике и теории алгоритмов by Л. Г. Магнарадзе, Ш. С. Пхакадзе, Тʻбилисис саксельмсипʻо университеты - 1975 - 152 pages
Исследования по неклассическим логикам и теории множеств by Александр Иванович Михайлов, Всесоюзный институт научной и технической информации (Совиет Унион) - 1979 - 371 pages
Исследования по неклассическим логикам и формальным системам by Александр Иванович Михайлов, Всесоюзный институт научной и технической информации (Совиет Унион) - 1983 - 358 pages
Исследования по теории алгорифмов и математической логике by Академия наук СССР. Вычислительный центр - 1979
Исследования по теории алгорифмов и математической логике by Академия наук СССР. Вычислительный центр - 1979
Исследования по теории алгорифмов и математической логике by Академия наук СССР. Вычислительный центр - 1976
Исследования по теории алгорифмов и математической логике by Академия наук СССР. Вычислительный центр - 1973
Исследования по теории алгорифмов и математической логике by Академия наук СССР. Вычислительный центр - 1973
Исследования по теории множеств и неклассическим логикам by Д. А Бочвар, Владимир Николаевич Гришин, Всесоюзный институт научной и технической информации (Совиет Унион) - 1976 - 327 pages
Исследования по формализованным языкам и неклассическим логикам by Всесоюзный институт научной и технической информации (Совиет Унион) - 1974 - 274 pages
Комплексная логица by Александр Зиновиев, Институт философии (Академия наук СССР) - 1970 - 202 pages
Комплексная логица by Александр Зиновиев, Институт философии (Академия наук СССР) - 1970 - 202 pages
Конспект лекций по математической логике и теории множеств by Алексей Всеволодович Гладкий - 1974 - 160 pages
Конспект лекций по математической логике и теории множеств by Алексей Всеволодович Гладкий - 1974 - 160 pages
Конструктивная математическая логика с точки зрения класической by Петр Сергеевич Новиков - 1977 - 328 pages
Краткий очерк истории общей и математической логики в России by Н. И Стяжкин, В. Д. Силаков - 1962 - 85 pages
Краткий очерк истории общей и математической логики в России by Н. И Стяжкин, В. Д. Силаков - 1962 - 85 pages
Крушение метафизической концепции универсальности предметной области в логике by Борис Владимирович Бирюков - 1963 - 72 pages
Логика by Д. П. Горский - 1963 - 291 pages
Логика в лицах и симболах by Константин Константинович Жоль - 1993 - 254 pages
Логика и алгоритмы by Игорь Андреевич Лавров - 1970 - 173 pages
Логика и основания математики by Бонифатий Михайлович Кедров, Советское национальное объединение истории и философии естествознания и техники - 1982 - 110 pages
Логика и язык научной теории by Виталий Валентинович Целищев, Валентин Никонович Карпович, Игорь Владимирович Поляков - 1982 - 188 pages
Логика научного познанияа by Александр Архипович Ивин - 1986 - 80 pages
Логика норм by Александр Архипович Ивин - 1973 - 122 pages
Логики Лукасевича и просте числа - 2000 - 318 pages
Логическая истина и эмпиризм by Виталий Валентинович Целищев - 1974 - 112 pages
Логическая структура научного знания by Институт философии (Академия наук СССР) - 1965 - 348 pages
Логическая структура научного знания by Институт философии (Академия наук СССР) - 1965 - 348 pages
Логическая тетрадь by Юрий Леонидович Ершов, С. С. Гончаров, Институт математики (Академия наук СССР. Сибирское отделение) - 1986 - 41 pages
Логические методы анализа научного знания by Владимир Александрович Смирнов, Вадим Николаевич Садовский - 1987 - 255 pages
Логические основы цифровых машин и программирования by Абрам Александрович Папернов - 1968 - 591 pages
Логические основы цифровых машин и программирования by Абрам Александрович Папернов - 1965 - 560 pages
Логические проблемы информационного поиска by Виктор Константинович Финн - 1976 - 150 pages
Логический анализ некоторых проблем геологии by Иван Прокофьевич Шарапов, Сергей Викторович Мейен, Институт минералогии, геохимии и кристаллохимии редких элементов (Совиет Унион) - 1977 - 142 pages
Логическое следование и условные высказывания by Евгений Александрович Сидоренко - 1983 - 172 pages
Логос by А. А. Вотяков - 1994 - 199 pages
Математика и правдоподобные рассуждения by Георге Пóля, S A I︠A︡novskai︠a︡ - 1957 - 535 pages
Математическая логика by Юрий Леонидович Ершов, Евгений Андреевич Палютин - 1979 - 320 pages
Математическая логика by Юрий Леонидович Ершов, Евгений Андреевич Палютин - 1979 - 320 pages
Математическая логика и математическая лингвистика by Алексей Всеволодович Гладкий, Калининский государственный университет - 1981 - 169 pages
Математическая логика и материалистическая диалектика by Юрий Александрович Петров - 1974 - 191 pages
Математическая логика и теория алгоритмов by Юрий Леонидович Ершов - 1993 - 201 pages
Математическая логика и теория алгоритмов by Сергей Львович Соболев - 1982 - 174 pages
Математическая логика, математическая лингвистика и теория алгоритмов by Алексей Всеволодович Гладкий, Калининский государственный университет - 1983 - 115 pages
Математическая теория логического вывода by Г. Е. Минц - 1967 - 350 pages
Математический интуиционизм by Альберт Григорьевич Драгалин - 1979 - 256 pages
Метод синтеза тупиковых представительных наборов для К-значных таблиц by Р. А. Денисова - 1984 - 29 pages
Методологические проблемы интуиционистской математики by Михаил Иванович Панов, Евгений Фролович Солопов - 1984 - 222 pages
Методы алгебры логики в математической физике by Владимир Логвинович Рвачев - 1974 - 258 pages
Методы современной математики и логики в социологических исследованиях by Эдвард Павлович Андреев, Институт социологических исследований (Академия наук СССР), Советская социологическая ассоциация - 1977 - 171 pages
Механика и прикладная математика by Илья Израилевич Блехман, Анатолий Дмитриевич Мышкис, Яков Гилелевич Пановко - 1990 - 356 pages
Модальная логика by Юрий Васильевич Ивлев - 1991 - 221 pages
Наука-- возможности и границы by Елена Аркадьевна Мамчур, Сергей Иванович Илларионов - 2003 - 292 pages
Неклассические логики by Владимир Александрович Андрунакиевич, Институтул де Математикэ ку Чентру де Калкул (Академия де Штиинце а РССМ) - 1987 - 154 pages
Неклассические логики by Владимир Александрович Смирнов, А. С. Карпенко, Институт философии (Академия наук СССР) - 1985 - 127 pages
Некоторые вопросы теории множеств и теории меры by А. Б. Харацишвили - 1978 - 177 pages
О природе математического знания by Георгий Иванович Рузавин - 1968 - 302 pages
О проверяющих тестах для логических схем by Г. Р. Погосян - 1982 - 57 pages
Один пример интуитивно вычислимой всюду определенной функции и тезис Чëрча by Ш. С. Пхакадзе - 1984 - 69 pages
Основы логической теории научных знаний by Александр Зиновиев - 1967 - 260 pages
Основы логической теории научных знаний by Александр Зиновиев - 1967 - 260 pages
Основы логической теории научных знаний by Александр Зиновиев - 1967 - 260 pages
Отрицательные высказывания by Иосиф Нусимович Бродский - 1973 - 103 pages
Очерки комплексной логики by Александр Зиновиев, Евгений Александрович Сидоренко - 2000 - 557 pages
Понятие объекта в модальной логике by Виталий Валентинович Целищев - 1978 - 174 pages
Последовательные доверительные множества и критерии by И. В. Павлов - 1983 - 66 pages
Постьс мачине by Владимир Андреевич Успенский - 1983 - 88 pages
Постьс мачине by Владимир Андреевич Успенский - 1983 - 88 pages
Применение логики в науке и технике by Петр Васильевич Таванец, Институт философии (Академия наук СССР) - 1960 - 557 pages
Принцип отрицания в философии и науке by Анатолий Изотович Зеленков - 1981 - 174 pages
Проблема неполноты теории и ее гносеологическое значение by Леонид Григорьевич Антипенко, Н. И. Стяжкин, Л. И. Мчедлишвили - 1986 - 223 pages
Проблемы бесконечности в свете современной науки by Георгий Шотаевич Хуцишвили - 1981 - 149 pages
Проблемы конструктивного направления в математике by Николай Александрович Шанин, В. П Оревков, Математический институт им. В.А. Стеклова - 1973
Проблемы конструктивного направления в математике by Николай Александрович Шанин, В. П. Оревков, Математический институт им. В.А. Стеклова - 1958
Проблемы логики by Институт философии (Академия наук СССР) - 1963 - 149 pages
Проблемы логики by Институт философии (Академия наук СССР) - 1963 - 149 pages
Проблемы принятия решений при нечеткой исходной информации by Сергей Алексеевич Орловский - 1981 - 206 pages
Пятая Всесоюзная конференция по математической логике by Юрий Леонидович Ершов, Анатолий Иванович Мальцев, Институт математики (Академия наук СССР. Сибирское отделение). - 1979 - 172 pages
Развитие представлений о надëжности математического доказательства by Василий Яковлевич Перминов - 1986 - 239 pages
Развитие теории множеств в XIX веке by Федор Андреевич Медведев - 1965 - 231 pages
Ранняя история аксиомы выбора by Федор Андреевич Медведев - 1982 - 302 pages
Рассказы о множествах by Наум Яковлевич Виленкин - 1969 - 158 pages
Рассказы о множествах by Наум Яковлевич Виленкин - 1965 - 127 pages
Рекурсивно перечислимые множества и степени неразрешимости by Марат Мирзаевич Арсланов - 1986 - 202 pages
Решетки с единственными дополнениями by Вячеслав Николаевич Салий - 1984 - 126 pages
Сборник задач по математической логике и алгебре множеств by Альберт Владимирович Гохман - 1969 - 90 pages
Свободные алгебры неклассических логик by Реваз Шотаевич Григолия, Кибернетикис институты (Сакʻартʻвелос ССР месʻниереватьʻа академия) - 1987 - 110 pages
Силлогистические теории в современной логике by Владимир Ильич Маркин - 1991 - 95 pages
Сложностные проблемы математической логики by М. И. Канович, Калининский государственный университет - 1985 - 100 pages
Справочная книга по математической логике by Йон Барвисе, Юрий Леонидович Ершов - 1982
Справочная книга по математической логике: Теория доказательств и конструктивная математика by Йон Барвисе, Юрий Леонидович Ершов - 1983
Становление идей математической логики by Н. И. Стяжкин - 1964 - 303 pages
Статистико-комбинаторные методы в археологии by Институт археологии (Академия наук СССР) - 1970 - 219 pages
Структура и развитие научного знания, системный подход к методологии науки by Вадим Николаевич Садовский, Советское национальное объединение истории и философии естествознания и техники, Всесоюзный научно-исследовательский институт системных исследований - 1982 - 259 pages
Теория алгорифмов и математическая логика by Борис Абрамович Кушнер, Николай Макарович Нагорный, Андрей Андреевич Марков - 1974 - 216 pages
Теория множеств by Николас Бурбаки, Г. Н. Поваров, Владимир Андреевич Успенский - 1965 - 455 pages
Теория моделей и ее применения by Юрий Леонидович Ершов - 1988 - 181 pages
Теория моделеьи by Михаил Абрамович Тайцлин, Новосибирский государственный университет - 1970 - 214 pages
Теория операций над множествами by Иван Иванович Паровиченко, А. Д. Тайманов - 1981 - 184 pages
Теория развития систем и системная теория логики by А. Ф. Паньков - 1993
Теория силлогистики в современной формальной логике by Александр Леонидович Субботин - 1965 - 122 pages
Теория силлогистики в современной формальной логике by Александр Леонидович Субботин - 1965 - 122 pages
Третья Всесоюзная конференция по математической логике, 23-27 июня 1974 г by Евгений Андреевич Палютин, Институт математики (Академия наук СССР. Сибирское отделение) - 1974 - 236 pages
Труды института математики by Академия наук СССР. Сибирское отделение - 1995
Труды института математики by Академия наук СССР. Сибирское отделение - 1993
Труды института математики by Академия наук СССР. Сибирское отделение - 1992
Труды института математики by Академия наук СССР. Сибирское отделение - 1989
Труды института математики by Академия наук СССР. Сибирское отделение - 1989
Труды института математики by Академия наук СССР. Сибирское отделение - 1989
Труды института математики by Академия наук СССР. Сибирское отделение - 1989
Труды института математики by Академия наук СССР. Сибирское отделение - 1988
Труды института математики by Академия наук СССР. Сибирское отделение - 1987
Труды института математики by Академия наук СССР. Сибирское отделение - 1985
Труды института математики by Академия наук СССР. Сибирское отделение - 1982
Универсальная алгебра, алгебраическая логика и базы данных by Борис Исаакович Плоткин - 1991 - 448 pages
Философия и логика by Петр Васильевич Таванец, Владимир Александрович Смирнов, Институт философии (Академия наук СССР) - 1974 - 478 pages
Философские вопросы логического анализа научного знания by Х. А. Геворгян, Пʻилисорʻаютʻян ев Иравункʻи Институт (Хайкакан СШ Гитутʻюннеры Академия) - 1969
Философские вопросы логического анализа научного знания by Pʻilisopʻayutʻyan ev Iravunkʻi Institut (Haykakan SSH Gitutʻyunneri Akademia) - 1969
Философские вопросы современной формальной логики by Институт философии (Академия наук СССР) - 1962 - 362 pages
Философские вопросы современной формальной логики by Институт философии (Академия наук СССР) - 1962 - 362 pages
Философские и методологические проблемы математики by Е. А Беляев, Василий Яковлевич Перминов - 1981 - 214 pages
Философские основания неклассических логик by Владимир Александрович Смирнов, Институт философии (Академия наук СССР) - 1990 - 152 pages
Философские проблемы многозначной логики by Александр Зиновиев - 1960 - 138 pages
Философский анализ гипотезы лингвистической относительности by Сергей Александрович Васильев - 1974 - 133 pages
Формалńая логика и методология науки by Институт философии (Академия наук СССР) - 1964 - 299 pages
Формалńая логика и методология науки by Институт философии (Академия наук СССР) - 1964 - 299 pages
Формализированный и конструктивистский подход к проблеме истинности в математической логике by Анатолий Георгиевич Рыжков - 1964 - 26 pages
Формальная логика by Иван Яковлевич Чупахин, И. Н. Бродский, Ленинградский государственный университет имени А.А. Жданова - 1977 - 356 pages
Формальное и интуитивное в математическом познании by Валерий Андреевич Карпунин - 1983 - 149 pages
Формальный вывод и логические исчисления by Владимир Александрович Смирнов, Институт философии (Академия наук СССР) - 1972 - 271 pages
Формальный вывод и логические исчисления by Владимир Александрович Смирнов, Институт философии (Академия наук СССР) - 1972 - 271 pages
Формирование математической логики by Н. И Стяжкин - 1967 - 507 pages
Формирование математической логики by Н. И Стяжкин - 1967 - 507 pages
Формирование математической логики by Н. И Стяжкин - 1967 - 507 pages
Функции алгебры логики и классы поста by Сергей Всеволодович Яблонский, Гарий Петрович Гаврилов, Валерий Борисович Кудрявцев - 1966 - 119 pages
Хаос и структура by Alekseĭ Fedorovich Losev - 1997 - 831 pages
Четвертая Всесоюзная конференция по математической логике by Математический институт им. В.А. Стеклова - 1976 - 169 pages
Что такое математическая логика? by Лев Аркадьевич Калужнин - 1964 - 149 pages
Эксперимент, модель, теория by Херберт Хöрж, Мыхайло Еразмовыч Омельяновськый, Институт философии (Академия наук СССР), Академие дер Виссеньшафтен дер ДДР. Централинститут фüр Философие - 1982 - 332 pages
Элементарнпе введение в символическую логику by И. Н. Бродский - 1964 - 61 pages
Элементы математической логики by Андрей Андреевич Марков, Альберт Григорьевич Драгалин - 1984 - 76 pages
Элементы математической логики by Пётр Сергеевич Новиков - 1973 - 399 pages
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов by Николай Кириллович Косовский - 1981 - 191 pages
מבוא לתורת ההגיון by יהושוא בר-הילל - 1964 - 102 pages
العقل الرمزي في الإسلام by علي شلق - 1995 - 366 pages
العقل الرمزي في الإسلام by ʻAlī Shalaq - 1995 - 366 pages
المنطق الصوري by ʻAlī Sāmī Nashshār - 1963 - 517 pages
المنطق الصوري و الرياضي by بدوي، عبد الرحمان - 1968 - 317 pages
1 2