@book{25583,
	author = {Carter, K., Codell},
	title = {Contemporary introduction to logic with applications},
	year = {1977},
	address = {Beverly Hills: Glencoe Press}
}