@book{62433,
	author = {Baum, Richard and Wieck, David T.},
	title = {Logic},
	address = {New York}
}