Next: Tuletuspuu (derivation treeproof
Up: No Title
Previous: Term (term)
- derivatsioon - valemite jada, mille iga liige on kas aksioom või saadud jada eelpool seisvatest liikmetest teatava tuletusreegli abil.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996