عنوان
پدید آورنده
موضوع
رده
QA 9.6 .S55 1992
QA
9
.
6
.
S55
1992
کتابخانه
محل استقرار
62622
English
Skordev, Dimitur Genchev
Computability in combinatory spaces : an algebraic generalization of abstract first order computability
Dordrecht, Boston
Kluwer Academic Pub.
1992
xiv, 320 p. ; 23 cm
Mathematics and its applications. East European series, v. 55
Rev. translation of: Kombinatorny postranstva i rekursivnost v nikh. 1980
Includes bibliographical references and indexes
by Dimiter G. Skordev
، Recursion theory
، Combinatory logic
QA
9
.
6
.
S55
1992
AU
TI
SE Mathematics and its applications )Kluwer Academic Publishers(, East European series, v. 55
یاضه ریه دانشکدانابخکت
