(NoSNOWANIQ MATEMATI^ESKOJ LOGIKI (B:s (NpER(B. (NS ANGL(B. /s - (NkARRI(B, (NhASKELL b(B.s; (NdON^ENKO(B, (Nw(B.(Nw(B.s; (NgASTEW(B, (N`(B.(Na(B.s ((NmOSKWA (B:s (NmIR(B,s, 1969)
(NuKAZATELI SIMWOLOW(B, (NTERMINOW I IMENNOJ(B: (NS(B. 548 - 567s
(NbIBLIOGR(B.: (NS(B. 518 - 547.s
Haskell B. Curry -
Keywords: (NmATEMATI^ESKAQ LOGIKAs