1987/34/1-2 (1) — DOI: 10.5486/PMD.1987.34.1-2.01 — pp. 1-19
Full Text Abstract

A completeness theorem for intuitionistic predicate logic. An intuitionistic proof

Authors: A. G. Dragalin

Keywords: -

Mathematics Subject Classification: 03B20, 03C90, 03F55