@book{Mendelson.1997,
	title = {Introduction to Mathematical Logic},
	author = {Elliott Mendelson},
	publisher = {Chapman & Hall / CRC Press},
	year = {1997},
	biburl = {http://www.bibsonomy.org/bibtex/2a6d0ce6ae4d80be3915dd2195251e8c7/callagialla},
	keywords = {diss }
}