@book{6023182,
	author = {Мендельсон, Э. and Кабаков, Ф.А.},
	title = {Введение в математическую логику},
	publisher = {Наука},
	year = {1976},
	address = {Москва},
	edition = {2-е изд., испр.}
}