• finitary

finitary (suomeksi)

Määritelmät:

• (lb, en, mathematics) Of a function, taking a finite number of arguments to produce an output.
• (lb, en, logic) Pertaining to finite-length proofs, each using a finite set of axioms.