Am găsit o definiție pentru cuvantul/cuvintele church:
CHURCH [tʃə:tʃ], Alonzo (1903-1995), logician american. Prof. univ. la Princeton. Contribuții în teoria deciziei și calculul predicatelor („Introducere în logica matematică”). Sursa: Dicționar enciclopedic