Titlebook: Dictionary of Logic as Applied in the Study of Language; Concepts/Methods/The Witold Marciszewski (professor, head of Department Book 1981

GOAD

Categorial Grammar, reasons: (1) it is a fairly adequate grammar for logical and mathematical languages, and (2) it is related, in certain respects, to some logical theories, viz. to types (q.v.) theory and to combinatory logic (see “Lambda-operator” and “Combinatory Logic”).

哄骗

generic

Combinatory Logic,o introduced the term ‘lambda calculus’. Further contributions come from C. Böhm, R. Feys, F.B. Fitch (cf. references in “Formalization”), J.B. Rosser, and others. It is a first-order theory with one two-argument function as primitive. This function, called ., is usually denoted by parentheses only

anthesis