Up:
Previous:
Inductive Systems and Equivalent Deductive Systems