1 XOR ECX
2



MSR- PrefEvtSel0/ PrefEvtSel1
PCE CR4 RDPMC

3
4 ,
5
6 ,
7 ,
8
9 , -
10 ,


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


<

. . . - - . , .



-


-


















-