Hrvatska enciklopedija (2013–)
Church [čəɹč], Alonzo, američki matematičar i logičar (Washington, 14. V. 1903 – Hudson, 11. VIII. 1995). ...

Hrvatski opći leksikon (2012)
Church [čəɹč], Alonzo (1903–95), am. logičar i matematičar; vodeći predstavnik simboličke logike u ...

Hrvatski obiteljski leksikon (2005)
Church, Alonzo (1903–1995), američki filozof i matematičar ...