Гетманова, Александра Денисовна Выражение дедуктивных умозаключений традиционной логики в символической логике / [Текст] Под ред. Б. В. Бирюкова ; М-во просвещения РСФСР. Мурман. гос. пед. ин-т . - [б. и.]. 1962. - 51 с. 22 см Subjects--Topical Terms: Математическая логика Subjects--Index Terms: მათემატიკური ლოგიკა Universal Decimal Class. No.: 162