Normal view MARC view ISBD view

Computability and unsolvability / Martin Davis

Auteur principal : Davis, Martin, 1928-, AuteurType de document : MonographieCollection : McGraw-Hill series in information processing and computersLangue : anglais.Pays : Etats Unis.Éditeur : New York : McGraw-Hill, 1958Description : 1 vol. (XXV-210 p.) ; 24 cmISBN : s.n..Bibliographie : Bibliogr. p. 199-203. Index.Sujet MSC : 03Dxx, Mathematical logic and foundations - Computability and recursion theory
03D20, Computability and recursion theory, Recursive functions and relations, subrecursive hierarchies
03D60, Computability and recursion theory on ordinals, admissible sets, etc.
03D35, Computability and recursion theory, Undecidability and degrees of sets of sentences
03D03, Computability and recursion theory, Thue and Post systems, etc.
En-ligne : Aperçu Google | archive.org
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 DAV (Browse shelf) Available 05026-01

Bibliogr. p. 199-203. Index

There are no comments for this item.

Log in to your account to post a comment.