Nantilus
Computability and logic
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Computability and logic / George Boolos,...and Richard Jeffrey,.. |
| Édition : | 2nd ed. |
| Publié : |
Cambridge, New York :
Cambridge University Press
, 1980 |
| Description matérielle : | 1 vol. (X-285 p.) |
| Sujets : | |
| Particularités de l'exemplaire : | BU Censive, L 15499 : Provenance : Exemplaire photocopié |
| LEADER | 01573cam a2200493 4500 | ||
|---|---|---|---|
| 001 | PPN022739971 | ||
| 003 | http://www.sudoc.fr/022739971 | ||
| 005 | 20240319103400.0 | ||
| 010 | |a 0-521-29967-5 |b pbk. | ||
| 010 | |a 0-521-23479-4 | ||
| 020 | |a US |b 8040432 | ||
| 020 | |a GB |b 80 | ||
| 035 | |a (OCoLC)299377481 | ||
| 035 | |a ocm06487830 | ||
| 100 | |a 19800609h19801980k y0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a GB | ||
| 105 | |a y z 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 | |6 z01 |a nga |2 RDAfrCarrier | ||
| 200 | 1 | |a Computability and logic |f George Boolos,...and Richard Jeffrey,.. | |
| 205 | |a 2nd ed. | ||
| 214 | 0 | |a Cambridge |a New York |c Cambridge University Press |d 1980 | |
| 215 | |a 1 vol. (X-285 p.) |c ill. |d 24 cm | ||
| 317 | |5 441092107:25289331X |a Exemplaire photocopié | ||
| 320 | |a Notes bibliogr. Index | ||
| 606 | |3 PPN027844536 |a Fonctions calculables |2 rameau | ||
| 606 | |3 PPN027814688 |a Fonctions récursives |2 rameau | ||
| 606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
| 676 | |a 511.3 | ||
| 680 | |a QA9.59 |b .B66 1980 | ||
| 700 | 1 | |3 PPN032339674 |a Boolos |b George |f 1940-1996 |4 070 | |
| 701 | 1 | |3 PPN03262400X |a Jeffrey |b Richard Carl |f 1926-2002 |4 070 | |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20210304 |g AFNOR | |
| 979 | |a PHILO | ||
| 930 | |5 441092107:25289331X |b 441092107 |a L 15499 |j s | ||
| 991 | |5 441092107:25289331X |a Rétroconversion Philosophie | ||
| 998 | |a 445462 | ||