Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Categorical Logic and Type Theory
- Bindende:
- Paperback
- Sider:
- 778
- Utgitt:
- 10. mai 2001
- Dimensjoner:
- 167x242x46 mm.
- Vekt:
- 1242 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 31. mars 2025
Beskrivelse 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.
Brukervurderinger av Categorical Logic and Type Theory
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Categorical Logic and Type Theory finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2025 Tales.no
