Logic for Computer Scientists/Predicate Logic/Strategies for Resolution

From Wikibooks, open books for an open world
Jump to navigation Jump to search