Categorical Logic and Type Theory

B. Jacobs

ene 1999 · Elsevier

Libro electrónico

778

Páginas

Apto

Acerca de este libro electrónico

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.

Califica este libro electrónico

Cuéntanos lo que piensas.

Información de lectura

Smartphones y tablets

Instala la app de Google Play Libros para Android y iPad/iPhone. Como se sincroniza de manera automática con tu cuenta, te permite leer en línea o sin conexión en cualquier lugar.

Laptops y computadoras

Para escuchar audiolibros adquiridos en Google Play, usa el navegador web de tu computadora.

Lectores electrónicos y otros dispositivos

Para leer en dispositivos de tinta electrónica, como los lectores de libros electrónicos Kobo, deberás descargar un archivo y transferirlo a tu dispositivo. Sigue las instrucciones detalladas que aparecen en el Centro de ayuda para transferir los archivos a lectores de libros electrónicos compatibles.