Describir: Lectures on Logic and Computation