@book{21787,
	author = {Shoenfield, Joseph R.},
	title = {Mathematical logic},
	publisher = {Association for symbolic Logic},
	year = {2001},
	address = {Massachusetts}
}