Title: Inductive inference in the variable valued predicate logic system VL 21
Subjects: VL21 system