|
タイトル・著者名
|
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
|
|
巻号情報
|
|
|
シリーズ
|
American Mathematical Society translations <BB00235535> ser. 2, v. 135//a
|
|
その他のタイトル
|
異なりアクセスタイトル: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
|
|
注記
|
Includes bibliographies
|
|
NCID
|
BA00452491
|
|
本文言語コード
|
英語
|
|
著者標目リンク
|
Artemov, S. N. <AU00307834>
|
|
著者標目リンク
|
Silver, Ben <AU00307781>
|
|
分類標目
|
LCC:QA3
|
|
分類標目
|
LCC:QA9.2
|
|
分類標目
|
DC19:510 s
|
|
分類標目
|
DC19:511.3
|
|
分類標目
|
数学 NDC8:410.8
|
|
件名標目等
|
Logic, Symbolic and mathematical
|
目録検索 ▼
My Library ▼
