En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Proofs and types

Sélection Signaler une erreur
Ouvrage

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

Niveau d'autorisation : Public


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00013007 [disponible]
Sélection Signaler une erreur