Logic and computation : interactive proof with Cambridge LCF

Logic and computation : interactive proof with Cambridge LCF

Enregistré dans:
Détails bibliographiques
Auteur principal : Paulson Lawrence C. (Auteur)
Format : Livre
Langue : anglais
Titre complet : Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson,...
Publié : Cambridge, New York, Port Chester [etc.] : Cambridge University Press , cop. 1987
Description matérielle : 1 vol. (XIII-302 p.)
Collection : Cambridge tracts in theoretical computer science ; 2
Sujets :
Fonctions calculables > Informatique
Logique informatique
Description
Historique des publications : Autre tirage : 1990 (br.)
Bibliographie : Bibliogr. p. [289]-295. Index
ISBN : 0-521-34632-0
0-521-39560-7