TY  - BOOK
AU  - Градштейн,И.С.
TI  - Прямая и обратная теоремы. Элементы алгебры логики
PY  - 1972///
CY  - М.
PB  - Наука
KW  - Теоремы
KW  - Доказательство
KW  - Математическая логика
ER  -