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]

Abstract

Abstract is missing.