Describir: Mathematical logic and formalized theories :