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

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

この図書・雑誌をさがす

注記

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

関連文献： 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

    所蔵館92館

詳細情報

ページトップへ