Conte aos seus amigos sobre este item:
Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics
Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands)
Preço
CA$ 199,99
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 24 - 31 de jul
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics
Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands)
Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.
780 pages
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 10 de maio de 2001 |
| ISBN13 | 9780444508539 |
| Editoras | Elsevier Science & Technology |
| Páginas | 778 |
| Dimensões | 167 × 242 × 46 mm · 1,24 kg |