| NCID | BA00452491 |
| タイトル | Six papers in logic / by S.N. Artemov ... [et al.] ; [translation edited by Ben Silver] |
| 出版者 | Providence, R.I. : American Mathematical Society , c1987 |
| 形態 | ix, 79 p. ; 26 cm |
| 別書名 | 6 papers in logic
|
| 内容注記 | 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
|
| シリーズ名 | American Mathematical Society translations ; ser. 2, v. 135
|
| 分類 | LCC:QA3
LCC:QA9.2
DC19:510 s
DC19:511.3
NDC8:410.8 |
| 件名 | LCSH:Logic,Symbolicandmathematical
|
| 著者情報 | Artemov, S. N.
Silver, Ben
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 原作言語 | ロシア語 |
| 出版国 | アメリカ合衆国 |
| ISBN | 0821831119
|
| 番号 | LCCN : 87001000 |