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

Bookmarks Report an error
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

Publisher City : Cambridge ; Melbourne ; N.Y.

Publisher country : États-Unis

Language : English

EAN13 : 9780521371810

ISBN : 0-521-37181-3

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

Series : Cambridge tracts in theoretical computer science

Nb in series : 0007

Location : Ouvrage RdC (GIRA)

Book type : Monographie

Availability : empruntable

Level of authorization : Public


Copies

Number of copies : 1
No. Call n° Bar code Commentary
1 00013007 [available]
Bookmarks Report an error