Effective choice of constructivizations and recursive consistency of problems on constructive models Yu. G. Ventsov OriginalPaper Pages: 1 - 12
Intrinsically recursively enumerable subalgebras of a recursive Boolean algebra S. P. Odintsov OriginalPaper Pages: 24 - 29
Decidable modal logic with undecidable admissibility problem A. V. Chagrov OriginalPaper Pages: 53 - 61