Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 3 results. Subscribe to this search

|
No cover image available
Proof theory and logical complexity / Jean-Yves Girard Monografia Publication Napoli : Bibliopolis, 1987-19-- Description v. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Advances in linear logic / ed. Jean-Yves Girard, Yves Lafont, Laurent Regnier Monografia Publication Cambridge : Cambridge University Press, 1995 Description 389 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Proofs and types / Jean-Yves Girard ; trad. Paul Taylor, Yves Lafont Monografia Publication Cambridge : Cambridge University Press, imp. 1993 Description XI, 176 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart