411 REFERENCE · Wikibooks
Logic for Computer Scientists/Predicate Logic
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
5.1 Predicate Logic
5.2 Syntax
5.3 Semantics
5.4 Equivalence and Normal Forms
5.5 Herbrand Theories
5.6 Semantic Trees
5.7 Resolution
5.8 Strategies for Resolution
5.9 SATCHMO