A
809
I have a chapter in this book -- on logical and taxonomic languages -- probably the most complicated thing that I have ever written (with the possible exception of my dissertation).