@book{43297,
	author = {Shoenfield, Joseph R.},
	title = {Mathematical logic /},
	publisher = {Addison-Wesley,},
	year = {c1967},
	address = {Reading, Mass. ;},
	note = {Includes index.}
}