Язык логики: пер. с англ.
| Main Author: | Фрейденталь Х. Ханс |
|---|---|
| Language: | Russian |
| Published: |
Москва, Наука, 1969
|
| Subjects: | |
| Format: | Book |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=196576 |
Similar Items
Введение в математическую логику: пер. с англ.
by: Мендельсон Э. Эллиот
Published: (Москва, Наука, 1984)
by: Мендельсон Э. Эллиот
Published: (Москва, Наука, 1984)
Математические основания информатики учеб. пособие
by: Червенчук И. В.
Published: (Омск, ОмГТУ, 2023)
by: Червенчук И. В.
Published: (Омск, ОмГТУ, 2023)
Элементы математической логики
by: Новиков П. С. Петр Сергеевич
Published: (Москва, Наука, 1973)
by: Новиков П. С. Петр Сергеевич
Published: (Москва, Наука, 1973)
Введение в метаматематику: пер. с англ.
by: Клини С. К. Стефен К.
Published: (Москва, Изд-во иностранной литературы, 1957)
by: Клини С. К. Стефен К.
Published: (Москва, Изд-во иностранной литературы, 1957)
Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
by: Бирюков Б. В. Борис Владимирович
Published: (Москва, Едиториал УРСС, 2004)
by: Бирюков Б. В. Борис Владимирович
Published: (Москва, Едиториал УРСС, 2004)
Введение в математическую логику: пер. с англ.
by: Мендельсон Э. Эллиот
Published: (Москва, Наука, 1971)
by: Мендельсон Э. Эллиот
Published: (Москва, Наука, 1971)
Математическая логика и теория алгоритмов: учебное пособие
by: Гурова Л. М. Любовь Михайловна
Published: (Москва, Изд-во МГГУ, 2006)
by: Гурова Л. М. Любовь Михайловна
Published: (Москва, Изд-во МГГУ, 2006)
Математическая логика: пер. с англ.
by: Клини С. К. Стивен Коул
Published: (Москва, Едиториал УРСС, 2005)
by: Клини С. К. Стивен Коул
Published: (Москва, Едиториал УРСС, 2005)
Формы логики
Published: (Пекин, Народное изд-во, 2005)
Published: (Пекин, Народное изд-во, 2005)
Элементы математической логики
by: Марков А. А. Андрей Андреевич
Published: (Москва, Изд-во МГУ, 1984)
by: Марков А. А. Андрей Андреевич
Published: (Москва, Изд-во МГУ, 1984)
№ 263 : Вопросы логики: [сборник статей]; Ученые записки [Ленинградского государственного университета]
Published: (1959)
Published: (1959)
Конструктивная математическая логика с точки зрения классической
by: Новиков П. С. Петр Сергеевич
Published: (Москва, Наука, 1977)
by: Новиков П. С. Петр Сергеевич
Published: (Москва, Наука, 1977)
Анализ и смысл : очерк семантических предпосылок логики и эпистемологии
by: Мулуд Н. Ноэль
Published: (Москва, Прогресс, 1979)
by: Мулуд Н. Ноэль
Published: (Москва, Прогресс, 1979)
Основы логики
by: Бочаров В. А. Вячеслав Александрович
Published: (Москва, Космополис, 1994)
by: Бочаров В. А. Вячеслав Александрович
Published: (Москва, Космополис, 1994)
Формальная логика с элементами теории познания: учебник для вузов
by: Абачиев С. К. Сергей Константинович
Published: (Ростов-на-Дону, Феникс, 2012)
by: Абачиев С. К. Сергей Константинович
Published: (Ростов-на-Дону, Феникс, 2012)
Введение в математическую логику: монография; пер. с англ.; Т. 1
by: Чёрч А.
Published: (Москва, Изд-во иностранной литературы, 1960)
by: Чёрч А.
Published: (Москва, Изд-во иностранной литературы, 1960)
Введение в математическую логику: пер. с англ.
by: Мендельсон Э. Эллиот
Published: (Москва, Наука, 1976)
by: Мендельсон Э. Эллиот
Published: (Москва, Наука, 1976)
По законам логики
by: Ивин А. А. Александр Архипович
Published: (Москва, Молодая гвардия, 1983)
by: Ивин А. А. Александр Архипович
Published: (Москва, Молодая гвардия, 1983)
Логика и теория аргументации учебное пособие
by: Вязьмин А. Ю.
Published: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2017)
by: Вязьмин А. Ю.
Published: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2017)
Введение в дискретную математику и логику учебное пособие
by: Червенчук В. Д.
Published: (Омск, Омский ГАУ, 2011)
by: Червенчук В. Д.
Published: (Омск, Омский ГАУ, 2011)
Вводный курс математической логики: учебное пособие
by: Успенский В. А. Владимир Андреевич
Published: (Москва, Изд-во МГУ, 1991)
by: Успенский В. А. Владимир Андреевич
Published: (Москва, Изд-во МГУ, 1991)
Элементы математического анализа. (Множества и операции над ними. Элементы математической логики): учебное пособие
by: Комов Н. П. Николай Павлович
Published: (Ярославль, Изд-во ЯГПИ, 1987)
by: Комов Н. П. Николай Павлович
Published: (Ярославль, Изд-во ЯГПИ, 1987)
Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
by: Бабичева И. В.
Published: (Санкт-Петербург, Лань, 2024)
by: Бабичева И. В.
Published: (Санкт-Петербург, Лань, 2024)
Математическая логика: учебное пособие для вузов
by: Ершов Ю. Л. Юрий Леонидович
Published: (СПб., Лань, 2005)
by: Ершов Ю. Л. Юрий Леонидович
Published: (СПб., Лань, 2005)
Математическая логика: учебное пособие
by: Ершов Ю. Л. Юрий Леонидович
Published: (СПб., Лань, 2004)
by: Ершов Ю. Л. Юрий Леонидович
Published: (СПб., Лань, 2004)
Математическая логика и теория алгоритмов: учебное пособие
by: Крупский В. Н. Владимир Николаевич
Published: (Москва, Академия, 2013)
by: Крупский В. Н. Владимир Николаевич
Published: (Москва, Академия, 2013)
Программирование. Математические основы, средства, теория: учебное пособие
by: Лавров С. С. Святослав Сергеевич
Published: (СПб., БХВ-Петербург, 2001)
by: Лавров С. С. Святослав Сергеевич
Published: (СПб., БХВ-Петербург, 2001)
Проблема взаимоотношений логики формальной и философской (неформальной и воображаемой Н. А. Васильева); Известия Томского политехнического университета [Известия ТПУ]; Т. 318, № 6 : Экономика. Философия, социология и культурология
by: Московченко А. Д. Александр Дмитриевич
Published: (2011)
by: Московченко А. Д. Александр Дмитриевич
Published: (2011)
Элементы теории систем
by: Марасанов В. В. Владимир Васильевич
Published: (Кишинев, Штиинца, 1991)
by: Марасанов В. В. Владимир Васильевич
Published: (Кишинев, Штиинца, 1991)
№ 41 : Проблемы методологии и логики наук; Ученые записки
Published: (1962)
Published: (1962)
Логика высказываний и булевы алгебры учебное пособие
by: Гринченков Д. В.
Published: (Новочеркасск, ЮРГПУ (НПИ), 2022)
by: Гринченков Д. В.
Published: (Новочеркасск, ЮРГПУ (НПИ), 2022)
Основания логики оценок
by: Ивин А. А. Александр Архипович
Published: (Москва, Изд-во Московского ун-та, 1970)
by: Ивин А. А. Александр Архипович
Published: (Москва, Изд-во Московского ун-та, 1970)
Лекции по математической логике: учебное пособие
by: Мощенский В. А. Владимир Андреевич
Published: (Минск, Изд-во Белорусского гос. ун-та, 1973)
by: Мощенский В. А. Владимир Андреевич
Published: (Минск, Изд-во Белорусского гос. ун-та, 1973)
Дискретная математика. Краткий курс: учебное пособие
by: Казанский А. А. Александр Анатольевич
Published: (Москва, Проспект, 2017)
by: Казанский А. А. Александр Анатольевич
Published: (Москва, Проспект, 2017)
Математическая логика: учебное пособие
by: Ершов Ю. Л. Юрий Леонидович
Published: (СПб., Лань, 2005)
by: Ершов Ю. Л. Юрий Леонидович
Published: (СПб., Лань, 2005)
Применение ЭВМ для решения задач математической логики: учебное пособие
by: Мелихов А. Н. Аскольд Николаевич
Published: (Таганрог, Изд-воТРТИ, 1988)
by: Мелихов А. Н. Аскольд Николаевич
Published: (Таганрог, Изд-воТРТИ, 1988)
Содержательная семантика модальной логики
by: Ивлев Ю. В. Юрий Васильевич
Published: (Москва, Изд-во МГУ, 1985)
by: Ивлев Ю. В. Юрий Васильевич
Published: (Москва, Изд-во МГУ, 1985)
Основные понятия математики: учебное пособие
by: Уртенов Н. С. Науруз Сулейменович
Published: (Ростов-на-Дону, Феникс, 2009)
by: Уртенов Н. С. Науруз Сулейменович
Published: (Ростов-на-Дону, Феникс, 2009)
Неклассические логики и их применение; Вопросы кибернетики
Published: (1982)
Published: (1982)
Решение задач математической логики с использованием элементарной алгебры
by: Коваленко С. И. Сергей Иванович
Published: (Москва, Физматлит, 2004)
by: Коваленко С. И. Сергей Иванович
Published: (Москва, Физматлит, 2004)
Similar Items
-
Введение в математическую логику: пер. с англ.
by: Мендельсон Э. Эллиот
Published: (Москва, Наука, 1984) -
Математические основания информатики учеб. пособие
by: Червенчук И. В.
Published: (Омск, ОмГТУ, 2023) -
Элементы математической логики
by: Новиков П. С. Петр Сергеевич
Published: (Москва, Наука, 1973) -
Введение в метаматематику: пер. с англ.
by: Клини С. К. Стефен К.
Published: (Москва, Изд-во иностранной литературы, 1957) -
Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
by: Бирюков Б. В. Борис Владимирович
Published: (Москва, Едиториал УРСС, 2004)