Выразимость в исчислениях высказываний

Выразимость в исчислениях высказываний

Bibliographic Details
Main Author:	Раца М. Ф. Мефодий Федорович
Corporate Author:	Академия наук Молдавской ССР (АН МССР) Институт математики с вычислительным центром (ИМсВЦ)
Other Authors:	Тайманов А. Д. (340)
Language:	Russian
Published:	Кишинев, Штиинца, 1991
Subjects:	математическая логика интуиция расширение выразимость модальные логики
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=166540

Similar Items

Учебник логики со сборником задач
by: Гетманова А. Д. Александра Денисовна
Published: (Москва, Кнорус, 2006)

Учебник логики со сборником задач
by: Гетманова А. Д. Александра Денисовна
Published: (Москва, КноРус, 2011)

Логический вывод
Published: (Москва, Наука, 1979)

Вып. 11
Published: (2002)

Исследования по некласическим логикам и теории множеств
Published: (Москва, Наука, 1979)

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

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

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

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

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

Нецелеориентированная стратегия вывода формул в модальных исчислениях
by: Новосельцев В. Б. Виталий Борисович
Published: (2006)

Введение в логику высказываний учебное пособие
by: Рыбаков Н. С.
Published: (Псков, ПсковГУ, 2020)

Интенциональность в языке: проблема выразимости
by: Ладов В. А.
Published: (2003)

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

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

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

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

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

Интуиция пер. с англ.
by: Майерс Д. Дэвид
Published: (Санкт-Петербург, Питер, 2013)

Исследования по логике научного познания материалы международного симпозиума, ноябрь 1984 г., г. Москва
Published: (Москва, Наука, 1990)

Введение в математическую логику
by: Зюзьков В. М.
Published: (Санкт-Петербург, Лань, 2022)

Парадоксы науки
by: Сухотин А. К. Анатолий Константинович
Published: (Москва, Молодая гвардия, 1978)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
by: Любецкий В. А. Василий Александрович
Published: (Москва, Юрайт, 2021)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
by: Любецкий В. А. Василий Александрович
Published: (Москва, Юрайт, 2024)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
by: Любецкий В. А. Василий Александрович
Published: (Москва, Юрайт, 2022)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
by: Любецкий В. А. Василий Александрович
Published: (Москва, Юрайт, 2023)

Теория множеств: абсолютно неразрешимые классические проблемы учебник для вузов
by: Любецкий В. А. Василий Александрович
Published: (Москва, Юрайт, 2025)

Математика метаматематики пер. с англ.
by: Расева Е. Елена
Published: (Москва, Наука, 1972)

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

Вып. 25
Published: (1985)

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

Логика учебное пособие для спо
by: Кожеурова Н. С. Наталья Сергеевна
Published: (Москва, Юрайт, 2021)

Логика учебное пособие для спо
by: Кожеурова Н. С. Наталья Сергеевна
Published: (Москва, Юрайт, 2023)

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

Логика учебное пособие для спо
by: Кожеурова Н. С. Наталья Сергеевна
Published: (Москва, Юрайт, 2022)

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

Логика учебное пособие для спо
by: Кожеурова Н. С. Наталья Сергеевна
Published: (Москва, Юрайт, 2024)

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

Логика учебное пособие для спо
by: Кожеурова Н. С. Наталья Сергеевна
Published: (Москва, Юрайт, 2025)

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