Biblioteca da Universidade do Minho

Your cart is empty.

Refine your search

Your search returned 2 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
Selected papers in proof theory / Grigorii E. Mints Monografia Publication Napoli : Bibliopolis, cop. 1992 Description 294 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Checked out (1).

Place hold Add to cart