Matches in Library of Congress for { <http://lccn.loc.gov/87001000> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 87001000 alternative "6 papers in logic.".
- 87001000 contributor B5377676.
- 87001000 created "c1987.".
- 87001000 date "1987".
- 87001000 date "c1987.".
- 87001000 dateCopyrighted "c1987.".
- 87001000 description "Includes bibliographies.".
- 87001000 description "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.".
- 87001000 extent "ix, 79 p. ;".
- 87001000 identifier "0821831119 (alk. paper)".
- 87001000 isPartOf "American Mathematical Society translations ; ser. 2, v. 135".
- 87001000 issued "1987".
- 87001000 issued "c1987.".
- 87001000 language "eng".
- 87001000 language "engrus".
- 87001000 publisher "Providence, R.I. : American Mathematical Society,".
- 87001000 subject "510 s 511.3 19".
- 87001000 subject "Logic, Symbolic and mathematical.".
- 87001000 subject "QA3 .A572 ser. 2, vol. 135 QA9.2".
- 87001000 tableOfContents "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.".
- 87001000 title "Six papers in logic / by S.N. Artemov ... [et al. ; translation edited by Ben Silver].".
- 87001000 type "text".