Язык логики пер. с англ.

Язык логики, пер. с англ.

Bibliografiske detaljer
Hovedforfatter:	Фрейденталь Х. Ханс
Udgivet:	Москва, Наука, 1969
Fag:	математическая логика язык множества отображения высказывания субъект предикат формальная логика
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=196576

Lignende værker

Математические основания информатики учеб. пособие
af: Червенчук И. В.
Udgivet: (Омск, ОмГТУ, 2023)

Введение в математическую логику пер. с англ.
af: Мендельсон Э. Эллиот
Udgivet: (Москва, Наука, 1984)

Элементы математической логики
af: Новиков П. С. Петр Сергеевич
Udgivet: (Москва, Наука, 1973)

Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
af: Бирюков Б. В. Борис Владимирович
Udgivet: (Москва, Едиториал УРСС, 2004)

№ 263 : Вопросы логики [сборник статей]
Udgivet: (1959)

Математическая логика и теория алгоритмов учебное пособие
af: Гурова Л. М. Любовь Михайловна
Udgivet: (Москва, Изд-во МГГУ, 2006)

Формы логики
Udgivet: (Пекин, Народное изд-во, 2005)

Введение в метаматематику пер. с англ.
af: Клини С. К. Стефен К.
Udgivet: (Москва, Изд-во иностранной литературы, 1957)

Введение в математическую логику пер. с англ.
af: Мендельсон Э. Эллиот
Udgivet: (Москва, Наука, 1971)

Элементы математической логики
af: Марков А. А. Андрей Андреевич
Udgivet: (Москва, Изд-во МГУ, 1984)

Анализ и смысл : очерк семантических предпосылок логики и эпистемологии
af: Мулуд Н. Ноэль
Udgivet: (Москва, Прогресс, 1979)

Математическая логика пер. с англ.
af: Клини С. К. Стивен Коул
Udgivet: (Москва, Едиториал УРСС, 2005)

Формальная логика с элементами теории познания учебник для вузов
af: Абачиев С. К. Сергей Константинович
Udgivet: (Ростов-на-Дону, Феникс, 2012)

Проблема взаимоотношений логики формальной и философской (неформальной и воображаемой Н. А. Васильева)
af: Московченко А. Д. Александр Дмитриевич
Udgivet: (2011)

По законам логики
af: Ивин А. А. Александр Архипович
Udgivet: (Москва, Молодая гвардия, 1983)

Логика и теория аргументации учебное пособие
af: Вязьмин А. Ю.
Udgivet: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2017)

Введение в дискретную математику и логику учебное пособие
af: Червенчук В. Д.
Udgivet: (Омск, Омский ГАУ, 2011)

Вводный курс математической логики учебное пособие
af: Успенский В. А. Владимир Андреевич
Udgivet: (Москва, Изд-во МГУ, 1991)

Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
af: Бабичева И. В.
Udgivet: (Санкт-Петербург, Лань, 2024)

Математическая логика учебное пособие для вузов
af: Ершов Ю. Л. Юрий Леонидович
Udgivet: (СПб., Лань, 2005)

Введение в математическую логику монография пер. с англ.
af: Чёрч А.
Udgivet: (Москва, Изд-во иностранной литературы, 1960)

Элементы математического анализа. (Множества и операции над ними. Элементы математической логики) учебное пособие
af: Комов Н. П. Николай Павлович
Udgivet: (Ярославль, Изд-во ЯГПИ, 1987)

Математическая логика и теория алгоритмов учебное пособие
af: Крупский В. Н. Владимир Николаевич
Udgivet: (Москва, Академия, 2013)

Элементы теории систем
af: Марасанов В. В. Владимир Васильевич
Udgivet: (Кишинев, Штиинца, 1991)

№ 41 : Проблемы методологии и логики наук
Udgivet: (1962)

Логика высказываний и булевы алгебры учебное пособие
af: Гринченков Д. В.
Udgivet: (Новочеркасск, ЮРГПУ (НПИ), 2022)

Лекции по математической логике учебное пособие
af: Мощенский В. А. Владимир Андреевич
Udgivet: (Минск, Изд-во Белорусского гос. ун-та, 1973)

Введение в математическую логику пер. с англ.
af: Мендельсон Э. Эллиот
Udgivet: (Москва, Наука, 1976)

Дискретная математика. Краткий курс учебное пособие
af: Казанский А. А. Александр Анатольевич
Udgivet: (Москва, Проспект, 2017)

Основания логики оценок
af: Ивин А. А. Александр Архипович
Udgivet: (Москва, Изд-во Московского ун-та, 1970)

Интенсиональные логики и логическая структура теорий материалы IV Советско-финского симпозиума по логике, Телави, май 20-24, 1985 г.
Udgivet: (Тбилиси, Мецниереба, 1988)

Математическая логика учебное пособие
af: Ершов Ю. Л. Юрий Леонидович
Udgivet: (СПб., Лань, 2005)

Неклассические логики и их применение
Udgivet: (1982)

Симметрическая конструктивная логика
af: Заславский И. Д. Игорь Дмитриевич
Udgivet: (Ереван, Изд-во АН Армянской ССР, 1978)

Категориальный синтез логического знания
af: Береговой И. И. Иван Иосифович
Udgivet: (Львов, Свит, 1990)

Логика Д. Пуансо в контексте дихотомии "искусство-наука"
af: Скрипник К. Д. Константин Дмитриевич
Udgivet: (2012)

Применение ЭВМ для решения задач математической логики учебное пособие
af: Мелихов А. Н. Аскольд Николаевич
Udgivet: (Таганрог, Изд-воТРТИ, 1988)

Основные понятия математики учебное пособие
af: Уртенов Н. С. Науруз Сулейменович
Udgivet: (Ростов-на-Дону, Феникс, 2009)

Содержательная семантика модальной логики
af: Ивлев Ю. В. Юрий Васильевич
Udgivet: (Москва, Изд-во МГУ, 1985)

Дискретная математика учебник для вузов
af: Соболева Т. С. Татьяна Сергеевна
Udgivet: (Москва, Академия, 2006)