Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Handbook of proof theory / ed. Samuel R. Buss Monografia Publication Amsterdam : Elsevier, 1998 Description 811 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Checked out (1).

Place hold Add to cart
Proof complexity and feasible arithmetics / ed. Paul W. Beame, Samuel R. Buss Monografia Publication [Washington] : American Mathematical Society, cop. 1998 Description XII, 320 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart