Stav dette: Computability in combinatory spaces : an algebraic generalization of abstract first order computability / by Dimiter G. Skordev.