|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: S.N. Artemov , M.I. Bekenov , A.D. Korshunov , V.E. VailPublisher: American Mathematical Society Imprint: American Mathematical Society Volume: 135 Weight: 0.454kg ISBN: 9780821831113ISBN 10: 0821831119 Pages: 79 Publication Date: 15 December 1987 Audience: Professional and scholarly , College/higher education , Professional & Vocational , Postgraduate, Research & Scholarly Format: Hardback Publisher's Status: Active Availability: To order ![]() Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us. Table of ContentsSolution 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |