Spar
Categorical Logic and Type Theory
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
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.
- Forfatter
- B. Jacobs
- ISBN
- 9780080528700
- Språk
- Engelsk
- Utgivelsesdato
- 14.1.1999
- Forlag
- ELSEVIER SCIENCE
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
