Proofs and types
Girard, Jean-Yves (Principal) ; Taylor, Paul (Co-auteur) ; Lafont , Yves (Co-auteur)
1989
176 p.
978-0-521-37181-0
00013007
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
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00013007 | [disponible] |