Title: Introduction to Logical structure of linguistic theory