Теорія канонічних числень є одночасно узагальненням і логічного синтаксису, і теорії алгоритмів, оскільки алгоритми також є частковим випадком канонічних числень (інший варіант цієї ж теорії запропонував Р. М. Смалліан, увівши як первинне поняття формальної системи). Вибрані праці 1936, «Finite Combinatory Processes — Formulation 1,» Journal of Symbolic Logic 1: 103—105. 1940, «Polyadic groups», Transactions of the American Mathematical Society 48: 208—350. 1943, «Formal Reductions of the General Combinatorial Decision Problem», American Journal of Mathematics 65: 197—215.