A logical approach to computational theory building by