@book{131282,
	author = {Suppes,Patrick and Hill,Shirley(ed)},
	title = {First course in mathematical logic.},
	publisher = {Dover Publications,},
	year = {1964.},
	address = {New York:}
}