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 Science & Technology
tradeorders@elsevier.com

London Wall 125
London
EC2Y 5AS
Vereinigtes Königreich
Verantwortliche Person
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Deutschland