, . , , . . , . (6 , 6 , ). ---, -----. , . 1015 , , . , ... 5-10 , , . . .
. , , . , , . , - ( ). , .
- . , ( - , ). , .
( , , , , X. )
+ + + -, - - + .
*
, , .
; , , ; , , -, , , , , ; ' , ; , .
. . . . .: Refl-Book, 1994.
. ( ); - ( ); , ( ), , . , , . , .
, , , , , .
( ) ; (; . .); , ( ).
; ; , ( , ).
( ) , , , , , , .
, , , . , .