Computability, complexity, logic /
E. Borger
- Amsterdam : North-Holland Pub., 1989
- xx, 592 p. : ill. ; 22 cm.
- Studies in logic and the foundations of mathematics ; v. 128 .
Translation of : Berechenbarkeit, Komplexitat, Logik Translated from German into English
Bibliography : p. 529-573
0444874062 : Fl 225
Computable functions Computational complexity Logic, Symbolic and mathematical