Title: Toward computer-aided induction
Subjects: Many-valued logic, Induction (Mathematics), AQVAL programs (Computer programs)