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