Математическая логика. Логика предикатов. Конспекты лекций и упражнения по курсу, пособие для студентов специальностей 01.03.01, 01.05.01, 02.03.01

Xehetasun bibliografikoak
Egile nagusia:	Петрова Л. П.
Beste egile batzuk:	Садовский Б. Н.
Gaia:	Пособие подготовлено на кафедре функционального анализа и операторных уравнений математического факультета Воронежского госуниверситета. Рекомендуется для студентов 1-го курса дневного отделения Книга из коллекции ВГУ - Математика
Argitaratua:	Воронеж, ВГУ, 2015
Gaiak:	логика предикатов язык прикладной логики элементы языка кванторы свободные переменные связанные переменные свойства кванторов ограниченные кванторы формализация определений следствие в логике правила общности обратное применение правил квантор существования теорема о кванторах конъюнкции и дизъюнкции импликация силлогизмы аристотеля
Sarrera elektronikoa:	https://e.lanbook.com/book/356489 https://e.lanbook.com/img/cover/book/356489.jpg
Formatua:	Baliabide elektronikoa Liburua

Internet