Interpreting Classical Theories in Constructive Ones

Jeremy Avigad. Interpreting Classical Theories in Constructive Ones. Journal of Symbolic Logic, 65(4):1785-1812, 2000.

Abstract

Abstract is missing.