Computability and logic

Détails bibliographiques
Auteurs principaux : Boolos George (Auteur), Jeffrey Richard Carl (Auteur)
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