Introduction to Logical Theory. | Synapse