Г. Л. Кляйн Агляд асноў матэматыкі і матэматычнай логікі С. А. Яноўскай. — 1951. — В. 1. — С. 46–48. — DOI:10.2307 / 2268665
princeton.edu
findingaids.princeton.edu
Артыкул Чорча быў прадстаўлены Амерыканскаму матэматычнаму таварыству 19 красавіка 1935 г. і апублікаваны 15 красавіка 1936 г. Цьюрынг, які дасягнуў істотнага прагрэсу апісваючы ўласныя вынікі, быў расчараваны, даведаўшыся пра доказы Чорча пасля яго публікацыі (гл. перапіску паміж Максам Ньюманам і Чорчам у дакументах Чорча, Алонза). Цьюрынг хутка дапісаў сваю працу і паспяшаўся яе выдаць у «Працах Лонданскага матэматычнага таварыства» ў двух падзелах: у частцы 3 (старонкі 230—240), выдадзенай 30 лістапада 1936 г., і ў частцы 4 (старонкі 241—265), выдадзенай 23 снежня 1936 г.; Цюрынг дадаў выпраўленні ў том 43 (1937), стар. 544—546.