variable

several notions in logic

Categorie: