Publication | Closed Access

Induction=I-Axiomatization+First-Order Consistency