variable

several notions in logic

Danh mục: