Nesterenko, Yu. V. On the number \(\pi\). (Russian) Zbl 0622.10024 Vestn. Mosk. Univ., Ser. I 1987, No. 3, 7-10 (1987). Reviewer: David W. Masser (Ann Arbor) MSC: 11J81 PDFBibTeX XMLCite \textit{Yu. V. Nesterenko}, Vestn. Mosk. Univ., Ser. I 1987, No. 3, 7--10 (1987; Zbl 0622.10024)
Skvortsov, D. P. On the connection of finite validity of some propositional formulae with the derivability in the Kreisel-Putnam logic. (Russian) Zbl 0438.03029 Vestn. Mosk. Univ., Ser. I 1980, No. 3, 29-32 (1980). MSC: 03B55 03F20 PDFBibTeX XMLCite \textit{D. P. Skvortsov}, Vestn. Mosk. Univ., Ser. I 1980, No. 3, 29--32 (1980; Zbl 0438.03029)
Kuzichev, A. S. Formal arithmetic in combinatorially complete systems. II. (Russian) Zbl 0395.03013 Vestn. Mosk. Univ., Ser. I 1978, No. 3, 60-66 (1978). MSC: 03B40 03B10 03C35 03F99 03F05 11U99 03F30 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Vestn. Mosk. Univ., Ser. I 1978, No. 3, 60--66 (1978; Zbl 0395.03013)
Kuzichev, A. S. Formal arithmetic in combinatorially complete systems. I. (Russian) Zbl 0395.03012 Vestn. Mosk. Univ., Ser. I 1978, No. 2, 13-21 (1978). MSC: 03B40 03B10 03C35 03F99 03F05 11U99 03F30 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Vestn. Mosk. Univ., Ser. I 1978, No. 2, 13--21 (1978; Zbl 0395.03012)
Sornikov, Ja. A. On quantifier-free \(\varepsilon_0\)-recursive arithmetic. (Russian) Zbl 0394.03050 Vestn. Mosk. Univ., Ser. I 1977, No. 6, 19-25 (1977). MSC: 03F30 03F15 PDFBibTeX XMLCite \textit{Ja. A. Sornikov}, Vestn. Mosk. Univ., Ser. I 1977, No. 6, 19--25 (1977; Zbl 0394.03050)
Mezlumbekova, V. F. On normal deductions in a system of negationless arithmetics. (Russian) Zbl 0322.02031 Vestn. Mosk. Univ., Ser. I 30, No. 6, 10-16 (1975). MSC: 03F99 03F55 PDFBibTeX XMLCite \textit{V. F. Mezlumbekova}, Vestn. Mosk. Univ., Ser. I 30, No. 6, 10--16 (1975; Zbl 0322.02031)
Mezlumbekova, V. F. On deductive possibilities of negationless intuitionistic arithmetic. (Russian) Zbl 0305.02044 Vestn. Mosk. Univ., Ser. I 30, No. 2, 3-9 (1975). MSC: 03F55 03F99 PDFBibTeX XMLCite \textit{V. F. Mezlumbekova}, Vestn. Mosk. Univ., Ser. I 30, No. 2, 3--9 (1975; Zbl 0305.02044)
Levin, A. M. Some applications of truth definitions. (Russian) Zbl 0272.02052 Vestn. Mosk. Univ., Ser. I 28, No. 5, 11-17 (1973). MSC: 03F99 03E70 PDFBibTeX XMLCite \textit{A. M. Levin}, Vestn. Mosk. Univ., Ser. I 28, No. 5, 11--17 (1973; Zbl 0272.02052)
Dragalin, A. G. Über die Verwendung der klassischen Kalküle zur Feststellung der konstruktiven Wahrheit. (Russian) Zbl 0237.02007 Vestn. Mosk. Univ., Ser. I 27, No. 2, 25-29 (1972). MSC: 03F99 PDFBibTeX XMLCite \textit{A. G. Dragalin}, Vestn. Mosk. Univ., Ser. I 27, No. 2, 25--29 (1972; Zbl 0237.02007)