Next:
Skolemi funktsioond (Skolem function
Up:
No Title
Previous:
Seotud muutuja (bound variable)
Signatuur (
signature
)
-
algebralise süsteemi
operatsioonide ja seoste tähiste hulk.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996