Six papers in logic
By: by S.N. Artemov ... [et al. ; translation edited by Ben Silver].
Contributors: Artemov, S. N.; Silver, Ben.
Series: American Mathematical Society translations ;; ser. 2, v. 135
Publisher: American Mathematical Society
Published: 1987
Place of publication: Providence, R.I
Language: eng
Number of pages: 79
Subjects: Logic, Symbolic and mathematical.
Other titles: 6 papers in logic.
Notes: Includes bibliographies.
Table of contents: title: Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers / B.I. Zilʹber; title: On a solution of the problem of finite axiomatizability for theories categorical in all infinite powers / B.I. Zilʹber; title: On theories with a basis / M.I. Bekenov; title: Gentzen systems of postulates for set theory / V.E. Vaĭlʹ [V. Vayl]; title: Arithmetically complete modal theories / S.N. Artemov; title: On the complexity of shortest disjunctive normal forms of Boolean functions / A.D. Korshunov.