Title: Introduction to logical theory