Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Categorical Logic and Type Theory

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Categorical Logic and Type Theory B. Jacobs
Libristo-code: 04079613
Uitgeverij Elsevier Science & Technology, mei 2001
This book is an attempt to give a systematic presentation of both logic and type theory from a categ... Volledige beschrijving
? points 332 b
137.41 €
In extern magazijn Wordt binnen 14-21 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Boskovice v historických fotografiích a pohlednicích Vladimír Filip / Boek Blad
common.buy 12.46 €
El circulo de los dias Ken Follett / Boek Gebonden (harde band)
common.buy 24.62 €
HORROR TINY TAROT DECK & GDBK GMITTER ARIA Drukwerk Speelkaarten
common.buy 16.81 €
Rajz 10 lépésben - Állatok Heather Kilgour / Boek Gebonden (harde band)
common.buy 12.25 €
Mis primeras 100 palabras EDWARD UNDERWOOD / Boek Gebonden (paperback)
common.buy 12.86 €
Puzzle Avengers Endgame / Spel/speelgoed Puzzel
common.buy 9.31 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Categorical Logic and Type Theory
Auteur B. Jacobs
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2001
Aantal pagina's 778
EAN 9780444508539
ISBN 0444508538
Libristo-code 04079613
Uitgeverij Elsevier Science & Technology
Gewicht 1242
Afmetingen 167 x 242 x 46

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Wiskunde en wetenschap > Wiskunde > Meetkunde > Algebraïsche meetkunde
Wiskunde en wetenschap > Wiskunde > Algebra
Wiskunde en wetenschap > Wiskunde > Toegepaste wiskunde
Wiskunde en wetenschap > Wetenschap: algemene onderwerpen > Wetenschapsfilosofie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Categories for Types Crole / Boek Gebonden (paperback)
common.buy 95.96 €
Foundations of Mathematics Kenneth Kunen / Boek Gebonden (paperback)
common.buy 27.86 €
Completions of Categories Joachim Lambek / Boek Gebonden (paperback)
common.buy 26.04 €
Set Theory Kenneth Kunen / Boek Gebonden (paperback)
common.buy 27.25 €
Sketches of an Elephant: A Topos Theory Compendium Peter T Johnstone / Boek Gebonden (harde band)
common.buy 439.93 €
Set Theory Thomas Jech / Boek Gebonden (harde band)
common.buy 206.13 €
TOP
Set Theory Thomas Jech / Boek Gebonden (paperback)
common.buy 206.13 €
Set Theory An Introduction To Independence Proofs Kenneth Kunen / Boek Gebonden (harde band)
common.buy 77.01 €
TOP
Real World Haskell Bryan O´Sullivan / Boek Gebonden (paperback)
common.buy 51.17 €
Sixty for Sax Alan Bullard / Drukwerk Bladmuziek
common.buy 9.41 €
TOP
Master Dogen's Zazen Meditation Handbook Eihei Dogen / Boek Gebonden (harde band)
common.buy 12.15 €
Higher-Order Logic and Type Theory John L. Bell / Boek Gebonden (paperback)
common.buy 26.34 €
The Story of Atlantis & The Lost Lemuria William Scott-Elliot / Boek Gebonden (paperback)
common.buy 8.00 €
National Health and Nutrition Examination Survey (NHANES): Ophthalmology Procedures Manual Centers for Disease Cont And Prevention / Boek Gebonden (paperback)
common.buy 19.35 €
Momma Said Momma Said T L Hawkins / Boek Gebonden (paperback)
common.buy 10.33 €
UNTITLED HA VINCE FLYNN / Boek Gebonden (harde band)
common.buy 24.92 €
Quantum Entanglement: Part Two Ryan Stacks / Boek Gebonden (paperback)
common.buy 14.89 €
Dark Psychology and Manipulation: This book helps to discover the secrets and techniques in Dark Psychology and daily used techniques to control mind. Sarah Fergie / Boek Gebonden (paperback)
common.buy 8.50 €
Wordt verwacht
Lughatuna Al-Fusha: Book 4 Samia Louis / Boek Gebonden (paperback)
common.buy 43.67 €
Basketball: The 9 Essential Game Skills Dre Baldwin / Boek Gebonden (paperback)
common.buy 19.35 €
An Introduction to Design Criteria for Aircraft Maintenance Hangars J. Paul Guyer / Boek Gebonden (paperback)
common.buy 27.45 €
Platform for Change Analogique / Boek Gebonden (harde band)
common.buy 61.81 €
A Chronology of the United States Marine Corps, 1947-1964 Ralph W Donnelly / Boek Gebonden (paperback)
common.buy 15.19 €
Advances in Applications of Industrial Biomaterials Eva Pellicer / Boek Gebonden (paperback)
common.buy 103.16 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?