@book{127000,
	author = {Алешина Н. А. and Академия наук СССР},
	title = {Логика и компьютер: Моделирование рассуждений и проверка правильности программ /},
	publisher = {Наука,},
	year = {1990.},
	address = {Москва:}
}