pure inductive logic

type of logic

Categories: