Linguistics, logic and finite trees door P. Blackburn