@book{65931,
	author = {Mendelson, Elliott. and Elliott Mendelson},
	title = {Introduction to mathematical logic},
	publisher = { : CRC Press},
	year = { , 2010.},
	address = {Boca Raton}
}