Конструктивная математическая логика с точки зрения классической

Конструктивная математическая логика с точки зрения классической

書目詳細資料
主要作者:	Новиков П. С. Петр Сергеевич
語言:	俄语
出版:	Москва, Наука, 1977
叢編:	Математическая логика и основания математики
主題:	математическая логика математика предикативная алгебра формальная логика
格式:	圖書
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=66534

相似書籍

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

Математическая логика
由: Гладкий А. В. Алексей Всеволодович
出版: (Москва, Изд-во Российского ГГУ, 1998)

Избранные труды; Теория множеств. Математическая логика и алгебра
由: Новиков П. С. Петр Сергеевич
出版: (Москва, Наука, 1979)

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

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

Формальная логика: учебник
出版: (Ленинград, Изд-во Ленингр. ун-та, 197734)

Логика и развитие научного знания: Межвузовский сборник
出版: (СПб., Изд-во СПбГУ, 1992)

Логика: учебник
由: Свинцов В. И. Виталий Иванович
出版: (Москва, Высшая школа, 1987)

Алгебра и математическая логика: межведомственный сборник
出版: (Киев, Изд-во Киевского ун-та, 1966)

Логика: учебник
由: Кириллов В. И. Вячеслав Иванович
出版: (Москва, Высшая школа, 1982)

Логика: учебник
由: Кириллов В. И. Вячеслав Иванович
出版: (Москва, Высшая школа, 1987)

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

Математическая логика и алгебра: Сборник статей
出版: (Москва, Наука, 2003)

Язык логики: пер. с англ.
由: Фрейденталь Х. Ханс
出版: (Москва, Наука, 1969)

Логика Д. Пуансо в контексте дихотомии "искусство-наука"; Вестник науки Сибири; № 3 (4)
由: Скрипник К. Д. Константин Дмитриевич
出版: (2012)

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

Математическая логика учебник и практикум для вузов
由: Скорубский В. И. Владимир Иванович
出版: (Москва, Юрайт, 2022)

Математическая логика учебник и практикум для вузов
由: Скорубский В. И. Владимир Иванович
出版: (Москва, Юрайт, 2023)

Математическая логика учебник и практикум для вузов
由: Скорубский В. И. Владимир Иванович
出版: (Москва, Юрайт, 2025)

Математическая логика учебник и практикум для вузов
由: Скорубский В. И. Владимир Иванович
出版: (Москва, Юрайт, 2024)

Математическая логика учебник и практикум для вузов
由: Скорубский В. И. Владимир Иванович
出版: (Москва, Юрайт, 2026)

Математическая логика: учебное пособие
由: Эдельман С. Л. Самсон Львович
出版: (Москва, Высшая школа, 1975)

Логика: учебное пособие
由: Афанасьева О. В. Ольга Викторовна
出版: (Москва, Проспект, 2011)

Математическая логика: пер. с англ.
由: Клини С. К. Стефан Коул
出版: (Москва, Мир, 1973)

Математическая логика. Задачник-практикум и решения: курс лекций; учебное пособие
由: Лихтарников Л. М. Леонид Моисеевич
出版: (СПб., Лань, 2009)

Логика. Практикум: учебное пособие для бакалавров
由: Михайлов К. А. Кирилл Авенирович
出版: (Москва, Юрайт, 2012)

Математическая логика. Курс лекций. Задачник-практикум и решения
由: Лихтарников Л. М.
出版: (Санкт-Петербург, Лань, 2022)

Алгебра и логика: сборник научных трудов
出版: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Алгебра и логика: сборник научных трудов
出版: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Алгебра и логика: сборник научных трудов
出版: (Новосибирск, Ин-т математики СО АН СССР, 1991)

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

№ 263 : Вопросы логики: [сборник статей]; Ученые записки [Ленинградского государственного университета]
出版: (1959)

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

Дискретная математика и математическая логика учебник для вузов
由: Палий И. А. Ирина Абрамовна
出版: (Москва, Юрайт, 2026)

Дискретная математика и математическая логика учебник для вузов
由: Палий И. А. Ирина Абрамовна
出版: (Москва, Юрайт, 2025)

Дискретная математика и математическая логика учебное пособие для вузов
由: Палий И. А. Ирина Абрамовна
出版: (Москва, Юрайт, 2024)

Дискретная математика и математическая логика учебное пособие для вузов
由: Палий И. А. Ирина Абрамовна
出版: (Москва, Юрайт, 2023)

Дискретная математика и математическая логика учебное пособие для вузов
由: Палий И. А. Ирина Абрамовна
出版: (Москва, Юрайт, 2022)

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

Алгебра и логика: сборник научных трудов
出版: (Новосибирск, Изд-во ИМ СО РАН, 1991)