@book{9243,
	author = {Baum,  Robert},
	title = {Logic. /}
}