Describir: Provability in logic