TY  - BOOK
AU  - Skordev,Dimiter G.
TI  - Computability in combinatory spaces - An algebraic generalization of abstract first order computability
SN  - 0 7923 1576 6
CY  - Netherlands
KW  - Recursion theory
KW  - Combinatory logic
ER  -