Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Vetenskap
  5. Categorical Logic and Type Theory

Categorical Logic and Type Theory

av B. (Computing Science Institute Jacobs

del av Studies in Logic and the Foundations of Mathematics-serien

Categorical Logic and Type Theory av B. (Computing Science Institute Jacobs
Om Categorical Logic and Type Theory

Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780444508539
  • Format:
  • Häftad
  • Sidor:
  • 778
  • Utgiven:
  • 10. maj 2001
  • Mått:
  • 167x242x46 mm.
  • Vikt:
  • 1242 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 4. april 2025

Om B. (Computing Science Institute Jacobs

Se alla böcker av B. (Computing Science Institute Jacobs

Beskrivning av Categorical Logic and Type Theory

Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.

Användarnas betyg av Categorical Logic and Type Theory



Andra köpte även...
Hitta liknande böcker
Boken Categorical Logic and Type Theory finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.