@book{156444,
	author = {Walicki, Michal},
	title = {Introduction to mathematical logic},
	publisher = {World Scientific},
	year = {2012},
	address = {Chennai},
	note = {includes index}
}