Last modified on 12 March 2012, at 18:50

Logic for Computer Scientists/Predicate Logic/Strategies for Resolution