@book{15012,
	author = {Srivastava, Shashi Mohan},
	title = {A course on mathematical logic},
	publisher = {Springer},
	year = {2013},
	address = {New York},
	edition = {2nd ed.}
}