Logic in computer science [La lógica en las ciencias computacionales] (2013)