Publications in Math-Net.Ru
-
Sur l'Entscheidungsproblem
Rec. Math. [Mat. Sbornik] N.S., 6(48):2 (1939), 185–198
-
L'arithmétisation de la logique symbolique
Mat. Sb., 36:3-4 (1929), 205–338
-
L'arithmétisation de la logique symbolique
Mat. Sb., 35:3-4 (1928), 311–377
-
Sur le calcul des propositions dans la logique symbolique
Mat. Sb., 34:1 (1927), 9–28
-
Sur uiie règle simple de convergence uniforme et sur la différentiation sous le signe de la limite
Mat. Sb., 25:4 (1906), 535–561
-
La série de Taylor pour une fonction implicite
Mat. Sb., 23:4 (1902), 740–760
© , 2026