On Some Subsystems of Dummett's LC

Branislav R. Boricic. On Some Subsystems of Dummett's LC. Math. Log. Q., 31(14-18):243-247, 1985. [doi]

Abstract

Abstract is missing.