De: R$ 0,00Por: R$ 544,00ou X de
Para envios internacionais, simule o frete no carrinho de compras.
Editora
ISBN
Páginas
Peso
Idioma
Acabamento
Sinopse
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
Mostrar mais
Ficha técnica
Especificações
| ISBN | 9780444508539 |
|---|---|
| Pré venda | Não |
| Peso | 871g |
| Autor para link | JACOBS B. |
| Livro disponível - pronta entrega | Não |
| Dimensões | 23 x 16 x 1 |
| Tipo item | LIVRO IMPORTADO ADQ MERC INTERNO |
| Número de páginas | 780 |
| Número da edição | 1ª EDIÇÃO - 2001 |
| Código Interno | 626114 |
| Código de barras | 9780444508539 |
| Acabamento | PAPERBACK |
| Autor | JACOBS, B. |
| Editora | ELSEVIER HEALTH SCIENCES |
| Sob encomenda | Sim |
Mostrar mais