Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)

B. Jacobs

ISBN 10: 0444501703 / ISBN 13: 9780444501707

Verlag: Elsevier Science, Elsevier Science, 1999

Beschreibung

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.

Bestandsnummer des Verkäufers 00008059

Bibliografische Details

• Titel: Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)
• Verlag: Elsevier Science, Elsevier Science
• Erscheinungsjahr: 1999
• Sprache: Englisch
• ISBN-10: 0444501703
• ISBN-13: 9780444501707
• Einband: Hardcover
• Zustand: Very Good
• Zustand des Schutzumschlags: None

Über diesen Titel

Inhaltsangabe

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.

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.