On the Proof Method for Constructive Falsity

Seiki Akama. On the Proof Method for Constructive Falsity. Math. Log. Q., 34(5):385-392, 1988. [doi]

Abstract

Abstract is missing.