Church publicó entre 1924 y 1995 trabajos sobre Lógica, filosofía, matemáticas y computación.