Search
❯
Dec 26, 20251 min read
A structure that assigns meaning to symbols so that formulas have truth values.