@book{7727365,
	author = {Лавров, И. А.},
	title = {Логика и алгоритмы},
	year = {1970},
	series = {[Труды]},
	address = {Новосибирск}
}