OMTEX CLASSES: MATHEMATICAL LOGIC