
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков Справка

Базовый поиск	Расширенный поиск	Cловари	ГРНТИ	Новые поступления	Профессионалам Поиск Экспорт данных/ Z39.50 Belmarc Методические решения

Запрос: a001="BY-NLB-ar6836725"
Записи: 1 - 7 из 7 (стр. 1 из 1)

Сортировать по:

Дата	Автор	Заглавие
2017	Павлов, Владимир Александрович (информационные технологии)	Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Павлов Владимир Александрович ; [Санкт-Петербургский политехнический университет Петра Великого]
2022	Оноприенко, Анастасия Александровна	Совместная логика задач и высказываний : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 1.1.5 (01.01.06) Математическая логика, алгебра, теория чисел и дискретная математика / Оноприенко Анастасия Александровна ; Московский государственный университет им. М. В. Ломоносова, Механико-математический факультет
2015	Кощеева, Анна Константиновна (кандидат физико-математических наук)	Новые константы в предтабличных суперинституиционистских логиках : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Кощеева Анна Константиновна ; [Московский городской психолого-педагогический университет]
2013	Дробышевич, Сергей Андреевич	Логика Гейтинга — Оккама и негативные модальности : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Дробышевич Сергей Андреевич ; [Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук]
2002	Витер, Дмитрий Александрович	Примитивно рекурсивная реализуемость и конструктивная теория моделей : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Витер Дмитрий Александрович ; Моск. гос. ун-т им. М.В.Ломоносова, Мех.-мат. фак
1998		Философия науки / РАН, Ин-т философии; отв. ред. Анисов А. М. Вып. 4
2022	Попов, Александр Иванович (кандидат физико-математических наук ; доктор исторических наук ; 1899—1973)	Введение в математическую логику / А. И. Попов

Служба технической поддержки:
+375 17 293 29 78
skk@nlb.by
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024
© Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси