Title: Introduction to Logical Theory