@book{59157,
	author = {25},
	title = {PREDICATE LOGIC }
}