Title: Introduction To Logical Theory