Six papers in logic
著者
書誌事項
Six papers in logic
(American Mathematical Society translations, ser. 2,
American Mathematical Society, c1987
- タイトル別名
-
6 papers in logic
大学図書館所蔵 件 / 全41件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
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」 より