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 |