К650 Конспекты лекций и упражнения по курсу "Математическая логика (Логика предикатов)" [] : учебное пособие / сост.: Л. П. Петрова, Б. Н. Садовский. - [Б. м. : б. и.]. - Б. ц. Рубрики: Математическая логика--Учебные пособия Кл.слова (ненормированные): логика предикатов -- язык логики предикатов -- теоремы логики предикатов -- прикладная логика предикатов -- учебные пособия -- Петрова, Л. П. -- Садовский, Б. Н. Перейти к внешнему ресурсу: Полный текст в ЭБС "Руконт" Доп.точки доступа: Петрова, Любовь Петровна \сост.\; Садовский, Борис Николаевич \сост.\ Учебная литература: ЭтФ / СИ / 02.03.03 / Практикум по логике предикатов / 5 / Осн Свободных экз. нет |