Computability, complexity, logic/
Borger, E. 1946-
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.
511.3 / B732c
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.
511.3 / B732c