m

F Nous contacter

0
     
Ouvrage

H 0 Proofs and types

Girard, Jean-Yves (Principal) ; Taylor, Paul (Co-auteur) ; Lafont , Yves (Co-auteur)

Cambridge University Press

1989

176 p.

978-0-521-37181-0

00013007

03Cxx ; 03F40 ; 03Fxx

logique # théorie de la preuve

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

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780521371810

ISBN : 0-521-37181-3

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

Collection : Cambridge tracts in theoretical computer science

N° de collection : 0007

Localisation : Ouvrage RdC (GIRA)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00013007 [disponible]
Z