Artículos relacionados a Categorical Logic and Type Theory (Volume 141) (Studies...
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141) - Tapa dura
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 text attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Categorical Logic and Type Theory (Volume 141) (Studies...
Imagen de archivo
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)
Publicado por
Elsevier Science, Elsevier Science, 1999
ISBN 10: 0444501703
ISBN 13: 9780444501707
Antiguo o usado
Tapa dura
Librería: Cloud Runner Books, Minneapolis, MN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. Estado de la sobrecubierta: None. Very Good. Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) by B. Jacobs. Elsevier Science, 1999. 760pp. Language: English. Note: Ex library book with the usual stamps, stickers, and marks. Nº de ref. del artículo: 00008059
Cantidad disponible: 1 disponibles