skip to main content

Programming in Martin-Löf's type theory an introduction

Bengt Nordström Kent Petersson; Jan M Smith

Oxford New York Clarendon Press Oxford University Press 1990

Localização: IME - Inst. Matemática e Estatística    (QA9.55 N832p )(Acessar)

IME - Inst. Matemática e Estatística (QA9.55 N832p ) 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.55 N832p Item disponível 31000001174 DOCUMENTO IMPRESSO
Select Request Option:
  • Localização: IME-Inst. Mat. e Estatística
  • Número de chamada: QA9.55 N832p
  • Status: Item disponível
  • Código de Barras: 31000001174
  • Tipo de item: DOCUMENTO IMPRESSO
  • Status de item: Circula
  • Exemplar: 1

Buscando em bases de dados remotas. Favor aguardar.