/LC.GIF&client=easterncarolinaedu)
Six papers in logic / by S.N. Artemov ... [and others ; translation edited by Ben Silver].
| Other author | Artemov, S. N. |
| Other author | Silver, Ben. |
| Format | Book |
| Publication Info | Providence, R.I. : American Mathematical Society, ©1987. |
| Description | ix, 79 pages ; 26 cm. |
| Subjects |
| Series | American Mathematical Society translations ; ser. 2, v. 135 American Mathematical Society translations ; ser. 2, v. 135. |
| 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. Vaĭlʹ [V. Vayl] -- Arithmetically complete modal theories / S.N. Artemov -- On the complexity of shortest disjunctive normal forms of Boolean functions / A.D. Korshunov. |
| Local note | Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, AMERICAN MATHEMATICAL SOCIETY TRANSLATIONS, SEARCH BY CALL NUMBER QA3 .A572. |
| Bibliography note | Includes bibliographies. |
| Other title | 6 papers in logic. |
| LCCN | 87001000 |
| ISBN | 0821831119 (alk. paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA3 .A572 SER. 2 VOL. 135 | ✔ Available | Place Hold |