Books about Labelled deduction in the composition of form and meaning