How Is Logic Related To Mathematics