A. Visser

发表

Prolegomena to the definition of dynamic predicate logic with local assignments

A. Visser, 1997 .

Propositional combinations of Σ-sentences in Heyting's Arithmetic

A. Visser, 1994 .

On the limit existence principles in elementary arithmetic and related topics

L. D. Beklemishev, A. Visser, 2004 .

On the ∑₁°–conservativity of ∑₁°-completeness

A. Visser, 1989 .

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

A. Visser, A. Visser, 1985 .