Verwandte Artikel zu Categorical Logic and Type Theory (Studies in Logic...

Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics Volume 141) - Softcover

Jacobs, B.

 
9780444508539: Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics Volume 141)
Softcover
ISBN 10: 0444508538 ISBN 13: 9780444508539
Verlag: Elsevier Science, 2001

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.

Verlag
Elsevier Science
Erscheinungsdatum
2001
Sprache
Englisch
ISBN 10 
0444508538
ISBN 13 
9780444508539
Einband
Taschenbuch
Anzahl der Seiten
784
Kontakt zum Hersteller
ELSEVIER
https://www.elsevier.com/es-es

Mooswaldallee 6
Freiburg
79108
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780444501707: Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics Vol. 141)

Vorgestellte Ausgabe

ISBN 10:  0444501703 ISBN 13:  9780444501707
Verlag: Elsevier Science Ltd, 1998
Hardcover