Logic for Computer Scientists/Predicate Logic/Strategies for Resolution

From Wikibooks, open books for an open world
< Logic for Computer Scientists‎ | Predicate Logic
Jump to: navigation, search