Borger, E. 1946-

Computability complexity, logic / E. Borger - Amsterdam : North-Holland, 1989 - 592 p. : ill. ; 24cm. - Studies in logic and the foundations of mathematics ; 128 .

Translations of: Berechenbarkeit, Komplexitat, Logik

Bibliography: p. 529-573

0444874062

87-011521


Computable functions
Computational complexity
Logic, Symbolic and mathematical