عنوان
پدید آورنده
موضوع
رده
QA 9 .6 .S55 1992
QA
9
.
6
.
S55
1992
کتابخانه
محل استقرار
200840
englishus
Skordev, Dimiter Genchev
Computability in combinatory spaces: an algebraic generalization of abstract first order computability
Dordrecht
KKluwer Academic publ.
1992
xiv, 320p.: , col.
Mathematics and its applications )East European series; V.55
Includes bibliographies
، Recursion theory
، Comlinatory logic
QA
9
.
6
.
S55
1992
AU
Dimiter G. Skordev
TI
AU seireS
ه مرکزیانابخکت
