X-1990-03: L.D. Beklemishev On the Complexity of Arithmetical Interpretations of Modal Formulae 1.Full Text. < Back