Normal view MARC view ISBD view

A programming approach to computability / A. J. Kfoury, Robert N. Moll, Michael A. Arbib

Auteur principal : Kfoury, Assaf J., 1945-, AuteurCo-auteur : Moll, Robert N., Auteur • Arbib, Michael A., 1940-, AuteurType de document : MonographieCollection : Texts and monographs in computer scienceLangue : anglais.Pays : Etats Unis.Éditeur : New York : Springer-Verlag, 1982Description : 1 vol. (viii-251 p.) : ill. ; 25 cmISBN : 0387907432.ISSN : 0172-603X.Bibliographie : Bibliogr. p. 235-237. Index.Sujet MSC : 03D60, Computability and recursion theory on ordinals, admissible sets, etc.
03B70, General logic, Logic in computer science
03D20, Computability and recursion theory, Recursive functions and relations, subrecursive hierarchies
68N01, Theory of software, General topics
03D80, Applications of computability and recursion theory
En-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
03 KFO (Browse shelf) Available 10625-01

Bibliogr. p. 235-237. Index

There are no comments for this item.

Log in to your account to post a comment.