Categorical logic and type theory

Rubriek: Textual/Printed/Reference Materials - Boek

Prijs: € 115.88

Rating: 0/5

☆

☆

☆

☆

☆

Verzending:
2 - 3 weken

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.

• 1 Bekijk alle specificaties

Taal: en

Bindwijze: Hardcover

Oorspronkelijke releasedatum: 10 mei 2001

Aantal pagina's: 778

Illustraties: Nee

Hoofdauteur: B. Jacobs

Hoofduitgeverij: Elsevier Science Ltd

Originele titel: Categorical Logic and Type Theory

Editie: New title

Extra groot lettertype: Nee

Product breedte: 156 mm

Product lengte: 234 mm

Studieboek: Nee

Verpakking breedte: 164 mm

Verpakking hoogte: 239 mm

Verpakking lengte: 52 mm

Verpakkingsgewicht: 1246 g

EAN: 9780444508539

---