You are about to access our book library "Logical and Logico-mathematical Calculi (2) (Proceedings of the Steklov Institute of Mathematics, 121) full version" .