Text this: The Logical Basic for Computer Programming. Volume 2:Deductive Systeme /