TROELSTRA, A. S.
Basic proof theory / A. S. Troelstra, H. SchwichtenbergCambridge : University Press, 2003XII, 417 p. ; 23 cm(Cambridge Tracts in Theoretical Computer Science / S. Abramsky; 43).
Exemplares
Basic proof theory / A. S. Troelstra, H. SchwichtenbergCambridge : University Press, 2003XII, 417 p. ; 23 cm(Cambridge Tracts in Theoretical Computer Science / S. Abramsky; 43).
0-521-77911-1
510.6
Exemplares
Tipo de Documento | Biblioteca Localização | Cota | Nº de Registo | Código de Barras | Numeração (volume ou outra parte) | Notas Públicas | Data de Empréstimo | Data de Devolução | Estatuto de Item Retirado |
---|---|---|---|---|---|---|---|---|---|
Livro | Biblioteca do ISEL Biblioteca do ISEL | TRO. 510.6 | 20899 | 1017173 |