Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 / ed. Peter Aczel, Harold Simmons, Stanley S. Wainer Monografia Publication Cambridge : Cambridge University Press, 1992 Description X, 306 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Computability, enumerability, unsolvability : directions in recursion theory / ed. S. B. Cooper, T. A. Slaman, S. S. Wainer Monografia Publication Cambridge : Cambridge University Press, 1996 Description VII, 347 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart