Градштейн, Израиль Соломонович.
Прямая и обратная теоремы : Элементы алгебры логики / И. С. Градштейн. — 5-е изд. — Москва : Наука, 1972. — 128 с. : черт.

Теоремы--Доказательство
Математическая логика

УДК: 510.6 ; 512 ; 517.5

[ SYS NUM: 30019 ]