@book{189306,
	author = {Гетманова, Александра Денисовна and Бирюков, Б. В.},
	title = {Выражение дедуктивных умозаключений традиционной логики в символической логике /},
	publisher = {[б. и.].},
	year = {1962.},
	address = {Мурманск :}
}