Next:
Üldsuskvantor (universal quantifier)
Up:
No Title
Previous:
Üldisim unifikaator (most general
Üldkehtestatav valem (
valid formula
)
-
tõene valem
.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996