vHilbert's Type Intuitionistic Systems of First Order Sentential Calculus
刘大中,董克诚
Journal of Hebei University (Natural Science Edition) . 2001, (2): 103 -106 .  DOI: 10.3969/j.issn.1000-1565.2001.02.001