Mathematical logic, the theory of algorithms, and the theory of sets
By: edited by S. I. Adjan.
Contributors: Adi͡a︡n, S. I.
Series: Proceedings of the Steklov Institute of Mathematics ;; no. 133 (1973); Trudy Matematicheskogo instituta imeni V.A. Steklova.; no. 133.
Publisher: American Mathematical Society
Published: 1977
Place of publication: Providence, R.I
Language: eng
Number of pages: 274
Subjects: Logic, Symbolic and mathematical.; Algorithms.; Set theory.
Notes: Includes bibliographical references.
Translation of Matematicheskai͡a︡ logika, teorii͡a︡ algoritmov i teorii͡a︡ mnozhestv.