Definiția cu ID-ul 545606:

Dicționare enciclopedice

Definiții enciclopedice

CHURCH [tʃə:tʃ], Alonzo (1903-1995), logician american. Prof. univ. la Princeton. Contribuții în teoria deciziei și calculul predicatelor („Introducere în logica matematică”).