m
     
Ouvrage

H 0 Logic and computation :
interactive proof with cambridge LCF

Paulson, Lawrence C. (Principal)

Cambridge University Press

1987

302 p.

978-0-521-34632-0

00011567

03B05 ; 03B10 ; 03B40 ; 03Bxx

calcul lambda # langage # logique # logique formelle

Ville d'édition : Cambridge ; Melbourne ; N.Y.

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780521346320

ISBN : 0-521-34632-0

Collation : Bibliogr. ; Index ; xiii#25 cm#rel.

Collection : Cambridge tracts in theoretical computer science

N° de collection : 0002

Localisation : Ouvrage RdC (PAUL)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 2
Cote Code barre Commentaire
1 00011567 [disponible]
2 00017835 [disponible]
Z