Författare
B. Jacobs
B. Jacobs är en uppskattad författare inom Naturvetenskap och teknik med totalt 1 bok tillgängliga på Bokkollen, utgivna hos Elsevier Science.
Bland verken finns Categorical Logic and Type Theory, som toppar listan över B. Jacobss populäraste böcker. Verken spänner över naturvetenskap & teknik och tilltalar läsare som uppskattar genren.
På Bokkollen gör vi det enkelt att navigera i B. Jacobss författarskap. Vår databas uppdateras ständigt med nya släpp och format, så oavsett om du söker efter en lättläst pocket för semestern, en lyxig inbunden presentutgåva eller en digital ljudbok för pendlingen, har vi rätt utgåva för dig.
Jämför snabbt och smidigt priser på alla böcker av B. Jacobs hos Sveriges ledande bokhandlare – som Adlibris, Bokus och Akademibokhandeln – och hitta alltid det bästa erbjudandet utan att betala för mycket.
Categorical Logic and Type Theory
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.
Hela bibliografin
Utforska alla B. Jacobss publicerade verk sorterade efter popularitet.
Upptäck liknande författare
Om du gillar B. Jacobs kommer du förmodligen att uppskatta även dessa författare inom naturvetenskap & teknik.