Computability, complexity, logic/
E. Börger.
- Amsterdam ;: New York: New York: North-Holland, U.S.A. and Canada; Elsevier, 1989.
- xx, 592 p.: ill.; 23 cm.
- Studies in logic and the foundations of mathematics; v. 128. .
Translation of: Berechenbarkeit, Komplexität, Logik. Includes index.
Bibliography: p. 529-573.
0444874062
89033636
Fonctions calculables. Complexité de calcul (informatique). Logique symbolique et mathématique. Computable functions. Computational complexity. Logic, Symbolic and mathematical.