Biblioteca da Universidade do Minho

Your cart is empty.

Refine your search

Your search returned 2 results. Subscribe to this search

|
Proof analysis : a contribution to Hilbert's last problem / Sara Negri, Jan von Plato Monografia Publication Cambridge : Cambridge University Press, 2011 Description XI, 265 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Structural proof theory / Sara Negri, Jan von Plato ; with appendix Aarne Ranta Monografia Publication Cambridge : Cambridge University Press, 2001 Description XVII, 256 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart