TY - BOOK AU - Гетманова,А.Д. AU - Бирюков,Б.В. ED - Мурманский государственный педагогический институт TI - Выражение дедуктивных умозаключений традиционной логики в символической логике PY - 1962/// CY - Мурманск PB - Б. и. KW - Логика. Теория познания. Учение о методологии ER -