Categorical Logic and Type Theory

B. Jacobs

xan. de 1999 · Elsevier

Libro electrónico

778

Páxinas

Apto

Acerca deste 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.

Valora este libro electrónico

Dános a túa opinión.

Información de lectura

Smartphones e tabletas

Instala a aplicación Google Play Libros para Android e iPad/iPhone. Sincronízase automaticamente coa túa conta e permíteche ler contido en liña ou sen conexión desde calquera lugar.

Portátiles e ordenadores de escritorio

Podes escoitar os audiolibros comprados en Google Play a través do navegador web do ordenador.

Lectores de libros electrónicos e outros dispositivos

Para ler contido en dispositivos de tinta electrónica, como os lectores de libros electrónicos Kobo, é necesario descargar un ficheiro e transferilo ao dispositivo. Sigue as instrucións detalladas do Centro de Axuda para transferir ficheiros a lectores electrónicos admitidos.