MATHEMATICAL LOGIC: CONTENT