logic (mathematics)