closed formula

Betekenis (Engels)

A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.

Notes

Sign in to write sticky notes