Computability, enumerability, unsolvability: directions in recursion theory/

Computability, enumerability, unsolvability: directions in recursion theory/ edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. - Cambridge, UK; New York: Cambridge University Press, 1996. - vii, 347 p.; 23 cm. - London Mathematical Society lecture note series; 224 .

Includes bibliographical references.

0521557364 (pbk.)

95044750

GB95-96524


Recursion theory.
Récursivité, Théorie de la.

Mathematical logic

511.3 / C738
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha