next up previous contents
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