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é |
BU Censive
| | Cote | Prêt | Statut |
|---|---|---|---|
| Bât. Censive, 1er étage, salle 111 | L 15499 | Empruntable | Disponible |