TY  - BOOK
AU  - Гетманова,Александра Денисовна
AU  - Бирюков,Б.В.
TI  - Выражение дедуктивных умозаключений традиционной логики в символической логике
PY  - 1962///
CY  - Мурманск
PB  - [б. и.].
KW  - Математическая логика
KW  - RKP
KW  - მათემატიკური ლოგიკა
ER  -