@book{15858,
	author = {Margaris, Angelo},
	title = {First order mathematical logic},
	publisher = {Dover Publications},
	year = {1990},
	address = {New York},
	note = {includes index.}
}