Logical studies. [Lectures /