Градштейн, И.С. <br/><br/>
Прямая и обратная теоремы :  Элементы алгебры логики / 
И.С. Градштейн. 
 - 5-е 
 - Москва :  Наука. Гл. ред. физ.-мат. лит.,  1972. 
 - 128 с. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Теоремы - Доказательство<br/>Математическая логика