Your search returned 4 results. Subscribe to this search

|
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).

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).

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).

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).