Minor improvements to NLP chapter
Minor improvements to Logic chapter