Vad kostar Categorical Logic and Type Theory?

Categorical Logic and Type Theory kostar från 1215 kr hos våra partners.

Var kan jag köpa Categorical Logic and Type Theory?

Du kan köpa Categorical Logic and Type Theory hos Akademibokhandeln, Bokus eller Adlibris. Jämför priser för att hitta bästa erbjudandet.

Bokkollen

Naturvetenskap och teknik

Categorical Logic and Type Theory

av B. Jacobs

Utgiven av Elsevier Science

Format

Häftad

Sidor

778 sidor

Språk

Engelska

Utgiven

maj 2001

Jämför priser

Från 1215 kr

Bästa pris

1 215 kr

1 222 kr

1 589 kr

Priserna uppdateras löpande från säkra och trygga butiker.

Köp hos bokus

Om boken

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.