Six papers in logic

著者

書誌事項

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

タイトル別名

6 papers in logic

大学図書館所蔵 件 / 全42件

この図書・雑誌をさがす

注記

Includes bibliographies

収録内容

  • 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

内容説明・目次

内容説明

Contains six papers in logic translated from the Russian.

目次

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.

「Nielsen BookData」 より

関連文献： 1件中  1-1を表示

  • American Mathematical Society translations

    American Mathematical Society 1955-

    Ser. 2, v. 1 , Ser. 2, v. 2 , Ser. 2, v. 3 , Ser. 2, v. 4 , Ser. 2, v. 5 , Ser. 2, v. 6 , Ser. 2, v. 7 , Ser. 2, v. 8 , Ser. 2, v. 9 , Ser. 2, v. 10 , Ser. 2, v. 11 , Ser. 2, v. 12 , Ser. 2, v. 13 , Ser. 2, v. 14 , Ser. 2, v. 15 , Ser. 2, v. 16 , Ser. 2, v. 17 , Ser. 2, v. 18

    所蔵館96館

詳細情報

ページトップへ