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
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
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00013007 | [available] |