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