Evaluation, provably deductive equivalence in Heyting's arithmetic of substitution instances of propositional formulas (1985)

by °A Visser