valuation

in logic and model theory

分类: