Pure inductive logic (source code)

= Pure inductive logic
{wiki=Pure_inductive_logic}