Decidability of Some Intuitionistic Predicate Theories
暂无分享，去创建一个
[1] Hartley Rogers,et al. Certain Logical Reduction and Decision Problems , 1956 .
[2] Dov M. Gabbay. The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields , 1973, J. Symb. Log..
[3] M. Rabin. Decidability of second-order theories and automata on infinite trees. , 1969 .