Computability and logic
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é |
Chargement en cours