TY  - DATA
AU  - Artemov, S. N.Silver, Ben.
TI  - Six papers in logic
T2  - American Mathematical Society Translations: Series 2, 
SN  - 9781470433468 (online)
PY  - 1987///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographies; Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers /;   On a solution of the problem of finite axiomatizability for theories categorical in all infinite powers /;   On theories with a basis /;   Gentzen systems of postulates for set theory /;   Arithmetically complete modal theories /;   On the complexity of shortest disjunctive normal forms of Boolean functions; B. I. Zilber; B. I. Zilber; M. I. Bekenov; V. E. Vail; S. N. Artemov; A. D. Korshunov
UR  - http://www.ams.org/trans2/135
ER  -