Verwandte Artikel zu 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) - Hardcover
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Categorical Logic and Type Theory (Volume 141) (Studies...
Beispielbild für diese ISBN
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)
Verlag:
Elsevier Science, Elsevier Science, 1999
ISBN 10: 0444501703
ISBN 13: 9780444501707
Gebraucht
Hardcover
Anbieter: Cloud Runner Books, Minneapolis, MN, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. Zustand des Schutzumschlags: 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. Bestandsnummer des Verkäufers 00008059
Anzahl: 1 verfügbar