Six papers in logic / by S.N. Artemov ... [et al.] ; [translation edited by Ben Silver]
(American Mathematical Society translations ; ser. 2, v. 135)
| Publisher | Providence, R.I. : American Mathematical Society |
|---|---|
| Year | c1987 |
| Authors | Artemov, S. N. Silver, Ben |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Restriction | Reserve |
|---|---|---|---|---|---|---|---|---|---|
| Library Restricted Access Stacks |
|
SAe:18:2/135 | 128034846- |
|
|
|
|
Hide details.
| Material Type | Books |
|---|---|
| Size | ix, 79 p. ; 26 cm |
| Other titles | variant access title:6 papers in logic |
| Contents | 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 |
| Subjects | LCSH:Logic, Symbolic and mathematical |
| Classification | LCC:QA3 LCC:QA9.2 DC19:510 s DC19:511.3 NDC8:410.8 |
| Language | English |
| ID | 0000260729 |
| ISBN | 0821831119 |
| NCID |
BA00452491 
|
Similar Items
Usage statistics of this contents
Number of accesses to this page：3times