TITLE: Introduction to the Definition of Logic and its Composition