@book{11182836,
	author = {Ершов, С. С.},
	title = {Исчисление предикатов},
	publisher = {Издательский центр ЮУрГУ},
	year = {2016},
	address = {Челябинск}
}