#specification

Wiki 1

• A Crash Course in Predicate Logic Hillel Wayne's free chapter of Logic for Programmers: predicates, implication, sets, quantifiers and rewrite rules in programmer syntax