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