De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Videnskab
  5. Categorical Logic and Type Theory

Categorical Logic and Type Theory

af B. (Computing Science Institute Jacobs

indgår i Studies in Logic and the Foundations of Mathematics serien

Categorical Logic and Type Theory af B. (Computing Science Institute Jacobs
Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780444508539
  • Indbinding:
  • Paperback
  • Sideantal:
  • 778
  • Udgivet:
  • 10. maj 2001
  • Størrelse:
  • 167x242x46 mm.
  • Vægt:
  • 1242 g.
  • 8-11 hverdage.
  • 12. december 2024
På lager
Forlænget returret til d. 31. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om B. (Computing Science Institute Jacobs

Vis alle bøger af B. (Computing Science Institute Jacobs

Beskrivelse af 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.

Brugerbedømmelser af Categorical Logic and Type Theory



Andre købte også..
Find lignende bøger
Bogen Categorical Logic and Type Theory findes i følgende kategorier: