This book contains six papers in logic translated from the Russian.

Table of Contents

• B. I. Zil'ber -- Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers
• B. I. Zil'ber -- On a solution of the problem of finite axiomatizability for theories categorical in all infinite powers
• M. I. Bekenov -- On theories with a basis
• V. E. Vaĭl' -- Gentzen systems of postulates for set theory
• S. N. Artemov -- Arithmetically complete modal theories
• A. D. Korshunov -- On the complexity of shortest disjunctive normal forms of Boolean functions