Title: Lectures on logic