35] N.N. Vorob'ev. The derivability problem in the constructive propositional calculus with strong negation. Doklady Akademii Nauk SSSR (1980)

by Logic, Structure Universitext