@book{35657,
	author = {Nelson},
	title = {Elements of logic}
}