@book{190792,
	author = {Целищев, Виталий Валентинович and  Бессонов, Александр Владимирович},
	title = {Две интерпретации логических систем /},
	publisher = {Наука. Сиб. отд-ние,},
	year = {1979.},
	address = {Новосибирск :}
}