Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics - Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands) - Kirjat - Elsevier Science & Technology - 9780444508539 - torstai 10. toukokuuta 2001
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics

Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands)

Hinta
R 2.846,80

Tilattu etävarastosta

Arvioitu toimitus pe 25. heinä - ti 5. elo

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics

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.

780 pages

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 10. toukokuuta 2001
ISBN13 9780444508539
Tuottaja Elsevier Science & Technology
Sivujen määrä 778
Mitta 167 × 242 × 46 mm   ·   1,24 kg

Katso kaikki joka sisältää Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands) ( Esim. Paperback Book )