Computability and unsolvability

Computability and unsolvability

Enregistré dans:
Détails bibliographiques
Auteur principal : Davis Martin (Auteur)
Format : Livre
Langue : anglais
Titre complet : Computability and unsolvability / Martin Davis,...
Publié : New York, Toronto, London : McGraw-Hill , 1958
Description matérielle : 1 vol. (XXV-210 p.)
Collection : McGraw-Hill series in information processing and computers J. P. Nash, consulting ed., Richard W. Hamming, consulting ed., Norman R. Scott, consulting ed
Sujets :
Fonctions récursives
Fonctions calculables
Non-résolubilité (logique mathématique)
LEADER 02021cam a2200589 4500
001 PPN004612264
003 http://www.sudoc.fr/004612264
005 20230629055700.0
020 |a US  |b 5712895 /L/r83 
020 |a GB  |b 58-19141 
035 |a 015324842  |9 sudoc 
035 |a (OCoLC)77452887 
035 |a ocm00558037 
035 |a sib0004365 
035 |a PRITEC.AIX.010760407001 
100 |a 19990302h19581958k y0frey0103 ba 
101 0 |a eng 
102 |a US  |a CA  |a GB 
105 |a y a 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 1 |6 z01  |a nga  |2 rdacarrier 
200 1 |a Computability and unsolvability  |f Martin Davis,... 
214 0 |a New York  |a Toronto  |a London  |c McGraw-Hill  |d 1958 
215 |a 1 vol. (XXV-210 p.)  |d 23 cm 
225 2 |a McGraw-Hill series in information processing and computers 
320 |a Bibliogr. p. 199-203. Index 
410 | |0 013283960  |t McGraw-Hill series in information processing and computers  |f J. P. Nash, consulting ed., Richard W. Hamming, consulting ed., Norman R. Scott, consulting ed  |c New York  |n McGraw-Hill  |d 19XX-.... 
606 |3 PPN027814688  |a Fonctions récursives  |2 rameau 
606 |3 PPN027844536  |a Fonctions calculables  |2 rameau 
606 |3 PPN031453813  |a Non-résolubilité (logique mathématique)  |2 rameau 
676 |a 517.5 
680 |a QA248.5  |b .D3 
686 |a 03-02  |c 2010  |2 msc 
686 |a 03D60  |c 2010  |2 msc 
686 |a 03D20  |c 2010  |2 msc 
686 |a 03D10  |c 2010  |2 msc 
686 |a 18-xx  |c 1991  |2 msc 
686 |a 55-xx  |c 1991  |2 msc 
700 1 |3 PPN031840620  |a Davis  |b Martin  |f 1928-2023  |4 070 
801 3 |a FR  |b Abes  |c 20171021  |g AFNOR  |h 015324842 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
915 |5 441092306:186126271  |b 1142233109 
930 |5 441092306:186126271  |b 441092306  |a 517.94 DAV  |j u 
930 |5 441092208:683772503  |b 441092208  |j u 
979 |a CCFA 
998 |a 1040