Biblioteca da Universidade do Minho catalog › Results of search for 'A. S. Troelstra'

		Lectures on linear logic / A. S. Troelstra Monografia Publication Stanford : Center for the Study of Language and Information, cop. 1992 Description IX, 200 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Checked out (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Basic proof theory / A. S. Troelstra, H. Schwichtenberg Monografia Publication Cambridge : Cambridge University Press, 2000 Description XII, 417 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Basic proof theory / A. S. Troelstra, H. Schwichtenberg Monografia Publication Cambridge : Cambridge University Press, 1996 Description XI, 343 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (4). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available Constructivism in mathematics : an introduction / A. S. Troelstra, D. van Dalen Monografia Publication Amsterdam : North Holland, 1988 Description 2 v. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (5). 1 2 3 4 5 Place hold Add to cart (remove)

Biblioteca da Universidade do Minho