Describir: Logic journal of the IGPL