This book covers the theoretical basics of language and logic, syntax, semantics, and pragmatics, as well as predicate logic and propositional statements