Six papers in logic

Author(s)

• Artemov, S. N.
• Silver, Ben

Bibliographic Information

Six papers in logic

by S.N. Artemov ... [et al.] ; [translation edited by Ben Silver]

（American Mathematical Society translations, ser. 2, v. 135）

American Mathematical Society, c1987

Other Title

6 papers in logic

Note

Includes bibliographies

Contents of Works

• 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 / B.I. Zilʹber
• On theories with a basis / M.I. Bekenov
• Gentzen systems of postulates for set theory / V.E. Vailʹ
• Arithmetically complete modal theories / S.N. Artemov
• On the complexity of shortest disjunctive normal forms of Boolean functions / A.D. Korshunov

Description and Table of Contents

Description

Contains six papers in logic translated from the Russian.

Table of Contents

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

by "Nielsen BookData"

Details

• NCID: BA00452491
• ISBN:
  • 0821831119
• LCCN: 87001000
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Original Language Code: rus
• Place of Publication: Providence, R.I.
• Pages/Volumes: ix, 79 p.
• Size: 26 cm
• Classification:
  • LCC : QA3
  • LCC : QA9.2
  • DC19 : 510 s
  • DC19 : 511.3
  • NDC8 : 410.8
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA00126556