@book{21471,
	author = {Suppes Patrik; Hill Shirley},
	title = {First course in mathematical logic},
	year = {1964},
	edition = {First}
}