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