eigenvariable

A kind of term in natural deduction.

Noun

  1. A kind of term in natural deduction.

Origin

From eigen- + variable.

Forms

eigenvariables

From Wiktionary's contributor community, shared under CC BY-SA 4.0.