Artículos relacionados a Categorical Logic and Type Theory
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 312,91
EUR 11,52 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Categorical Logic and Type Theory
Imagen de archivo
Categorical Logic and Type Theory
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 784 pages. 9.00x1.77x6.00 inches. In Stock. Nº de ref. del artículo: zk0444539425
Cantidad disponible: 1 disponibles