@book{32274,
	author = {Mendelson, Elliott.},
	title = {Introduction to mathematical logic /},
	publisher = {CRC Press,},
	year = {c2010.},
	series = {Discrete mathematics and its applications},
	address = {Boca Raton :},
	edition = {5th ed.},
	note = {"A Chapman and Hall book."},
	url = {http://www.loc.gov/catdir/enhancements/fy0905/2009002833-d.html}
}