@book{30156,
	author = {Srivastava, S. M.},
	title = {A course on mathematical logic},
	publisher = {Springer Science+Business Media, Inc.,},
	year = {2008},
	series = {Universitext},
	address = {New Delhi:}
}