Basic proof theory / A. S. Troelstra, H. Schwichtenberg
Publication: Cambridge : University Press, 2003Description: XII, 417 p. ; 23 cmISBN: 0-521-77911-1.Series: Cambridge Tracts in Theoretical Computer Science / S. Abramsky, 43Subject - Topical Name: Lógica matemática | Inteligência artificial | Programação lógicaItem type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Livro | Biblioteca do ISEL | TRO. 510.6 (Browse shelf) | Available | 1017173 |
Total holds: 0
Browsing Biblioteca do ISEL Shelves , Shelving location: Biblioteca do ISEL Close shelf browser
TRO. 51 Boundary value problems of applied mathematics | TRO. 51 Boundary value problems of applied mathematics | TRO. 51 Boundary value problems of applied mathematics | TRO. 510.6 Basic proof theory | TRO. 519.1 Teoria de matrices | TRO. 519.6 The mathematica guidebook for numerics | TRO. 519.6 The mathematica guidebook for numerics |
There are no comments for this item.