Recomienda este artículo a tus amigos:
Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands)
Precio
$ 146,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 18 de jun. - 7 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de 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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 10 de mayo de 2001 |
| ISBN13 | 9780444508539 |
| Editores | Elsevier Science & Technology |
| Páginas | 778 |
| Dimensiones | 167 × 242 × 46 mm · 1,07 kg |
| Lengua | Inglés |
