... Linear independence of values of Lerch functions . ... Recognition of derivability for the Lambek calculus with one division . ... Lambek calculus with one division and one primitive type permitting empty antecedents . ... Joint approximations of the square root, logarithm, and arcsine functions . ... Depth of \alpha -completions of systems of Boolean functions . ... A new estimate of the Montgomery constant in the theory of zeros distribution of the Riemann zeta-function in the critical stripe . ...