Электронный каталог: Гетманова Александра Денисовна - Выражение дедуктивных умозаключений традиционной логики в символической логике