عنوان
پدید آورنده
موضوع
رده
QA 1 .A413 no.133
QA
1
.
A413
no
.
133
کتابخانه
محل استقرار
94898
آخر۲۷
English
)20(
Mathematical logic, the theory of algorithms, and the theory of sets
Providence, R.I.
American Mathematical Society
1977
iv, 274 p. ; 27 cm
Proceedings of the Steklov Institute of Mathematics, no. 331 )3791(
Translation of Matematicheskaia logika, teoriia algoritmov i teoriia mnozhestv
Includes bibliographical references
، Logic, Symbolic and mathematical
، Algorithms
، Set theory
QA
1
.
A413
no
.
133
TI
edited by S. I. Adjan
CO Adian
SE Trudy Matematicheskogo instituta imeni V.A. Steklova, no. 133
02
