skip to main content

Linear Logic in Computer Science

William Tuncel, Selim Parry Thomas Ehrhard; Jean-Yves Girard; Paul Ruet; Philip Scott Jean-Yves Girard Paul Ruet Philip Scott; London Mathematical Society.

Cambridge Cambridge University Press 2004

Acesso online. A biblioteca também possui exemplares impressos.

IME - Inst. Matemática e Estatística (QA9.8.C E33L ) Disponível na Biblioteca
Local Número de chamada Descrição Status / Emprestado até Código de barras Tipo de item Opções de solicitação
QA9.8.C E33L Item disponível 31000056306 DOCUMENTO IMPRESSO
Select Request Option:
  • Localização: IME-Inst. Mat. e Estatística
  • Número de chamada: QA9.8.C E33L
  • Status: Item disponível
  • Código de Barras: 31000056306
  • Tipo de item: DOCUMENTO IMPRESSO
  • Status de item: Circula
  • Exemplar: 1

Buscando em bases de dados remotas. Favor aguardar.