n and an Intermediate Induction Schema

Zofia Adamowicz, Roman Kossak. n and an Intermediate Induction Schema. Math. Log. Q., 34(3):261-264, 1988. [doi]

No reviews for this publication, yet.