TY  - BOOK
AU  - Паршина,Нина Андреевна
ED  - Томский государственный университет.
TI  - Математическая логика: Учебно-методическое пособие по курсу "Математическая логика"
PY  - 2000///
CY  - Томск
PB  - б. и. 
KW  - учебные пособия для вузов
KW  - исчисление высказываний
KW  - бинарные отношения
KW  - тернарные отношения
KW  - предикаты истинные
KW  - предикаты ложные
KW  - логические операции
KW  - кванторы существования
KW  - кванторы всеобщности
KW  - формулы
KW  - предикатные переменные
KW  - логические следования
KW  - доказуемость
N1  - Библиогр.: с. 29
ER  -