Language Proof And Logic 2nd Edition 6.20