, , - .
1924 . . (Moses Schonfinkel) (simple) , - - , (.. ).
1934 . . (Alonso Church) - ( -) . , - - .
, 1940 ., . (Haskell Curry) ( ), . - , .
60- . (H. Barendregt) (.. ) (.. ) -.
-
1924 . . (Moses Schonfinkel) (simple) , - - , (.. ).
1934 . . (Alonso Church) - ( -) . , - - .
, 1940 ., . (Haskell Curry) ( ), . - , .
60- . (H. Barendregt) (.. ) (.. ) -.
-
