Ú. V. Matiásévič. Diofantovo prédstavlénié péréčislimyh prédikatov. Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 35 (1971), pp. 3–30. - Ju. V. Matijasevič. Diophantine representation of enumerable predicates. English translation of the preceding by F. M. Goldware. Mathematics of the USSR, Izvestija, vol. 5 (for 1971, pub. 1972), pp. 1–28 von Davis, Martin

Volltext

V. A. Jankov. Constructing a sequence of strongly independent superintuitionistic propositional calculi. English translation of XXXVII 206(6) by A. Yablonsky. Soviet mathematics, vol. 9 no. 4 (1968), pp. 806–807. - V. A. Jankov. The calculus of the weak “law of excluded middle.” English translation of XXXVII 206(7). Mathematics of the USSR—Izvestija (Providence), vol. 2 no. 5 (for 1968 pub. 1969), pp. 997–1004 von Horn, Alfred

Volltext

V. A. Ánkov. O rasširénii intuicionistskogo propozicional′nogo isčisléniá do klassičéskogo i minimal′nogo-do intuicionistskogo. Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 32 (1968), pp. 208–211. - V. A. Jankov. On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus. English translation of the preceding. Mathematics of the USSR—Izvestija (Providence), vol. 2 no. 1 (for 1968, pub. 1969), pp. 205–208 von Anderson, J. G.

Volltext