@book{189814,
	author = {Шанин Н. А.},
	title = {Алгорифм машинного поиска естественного логического вывода в иссилении высказываний /},
	publisher = {наука,},
	year = {1965.},
	address = {М.: }
}