Biblioteca da Universidade do Minho

Your cart is empty.

Refine your search

Your search returned 2 results. Subscribe to this search

|
Non-Well-founded sets / Peter Aczel ; foreword Jon Barwise Monografia Publication Menlo Park : CSLI-SRI International, cop. 1988 Description XX, 137 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
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