logic and mathematics