@book{8274004,
	author = {Бонгдарев, В.Г.},
	title = {Элементы математической логики},
	publisher = {Б. и.},
	year = {1962},
	address = {Москва]}
}