Dimiter G. Skordev. Computability in combinatory spaces. An algebraic generalization of abstract first order computability. Mathematics and its applications (East European series), vol. 55. Kluwer Academic publishers, Dordrecht, Boston, and London, 1992, xiv + 320 pp.

Dag Normann · Journal of Symbolic Logic · 1995

Dimiter G. Skordev. Computability in combinatory spaces. An algebraic generalization of abstract first order computability. Mathematics and its applications (East European series), vol. 55. Kluwer Academic publishers, Dordrecht, Boston, and London, 1992, xiv + 320 pp. - Volume 60 Issue 2

Read the paper · More papers on PaperTik