Delete extra closing square bracket in books def.

The books def in the write-up above exercise seven in the predicates
chapter had an extra closing square bracket which was an invalid
expression. Removed the bracket and it is now a valid expression.