@book{60511,
	author = {Shoenfield, Joseph R.},
	title = {Mathematical logic /},
	publisher = {Association for Symbolic Logic,},
	year = {[2001?], c1967},
	address = {Natick, Mass. :},
	note = {Includes index}
}
