@book{183414,
	author = {Hodges, Wilfrid.},
	title = {A shorter model theory /},
	publisher = {Cambridge University Press,},
	year = {1997},
	address = {Cambridge, U.K. :}
}