RUS  ENG
Full version
JOURNALS // Matematicheskii Sbornik // Archive

Mat. Sb., 1928 Volume 35, Number 3-4, Pages 311–377 (Mi sm7400)

This article is cited in 7 papers

L'arithmétisation de la logique symbolique

J. J. Gégalkine




Bibliographic databases:


© Steklov Math. Inst. of RAS, 2026