Small fixes on typesetting and put links on index
Finished chapter on logic