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

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