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

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

Bibliographic Details
Main Author:	Новиков П. С. Петр Сергеевич
Language:	Russian
Published:	Москва, Наука, 1977
Series:	Математическая логика и основания математики
Subjects:	математическая логика математика предикативная алгебра формальная логика
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=66534

Similar Items

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

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

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

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

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

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

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

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

Комплементарная алгебра и предикатная алгебра выбора: Три лекции по курсу "Логические основы и модели нейронных сетей"
by: Волгин Л. И. Леонид Иванович
Published: (Ульяновск, Изд-во УлГТУ, 1996)

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

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

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

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

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

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

Реляторные нейропроцессоры и коммуникационно-логические преобразователи аналоговых сигналов с кодированием номером канала: Три лекции по курсу "Логические основы и модели нейронных сетей"
by: Волгин Л. И. Леонид Иванович
Published: (Ульяновск, Изд-во УлГТУ, 1996)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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