Six papers in logic
Author(s)
Bibliographic Information
Six papers in logic
(American Mathematical Society translations, ser. 2,
American Mathematical Society, c1987
- Other Title
-
6 papers in logic
Available at / 42 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C(*)||AMS-1||13587004829
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
DC19:515/Ar752070043536
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies
Contents of Works
- 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
Description and Table of Contents
Description
Contains six papers in logic translated from the Russian.
Table of Contents
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.
by "Nielsen BookData"