Next:
Süllogism (syllogism)
Up:
No Title
Previous:
Skolemi funktsioond (Skolem function
Skolemiseerimine (
Skolemization
)
-
kvantorite
modelleerimine spetsiaalsete funktsioonidega (
Skolemi funktsioonidega
).
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996