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.

Higher-Order Logic and Type Theory

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Higher-Order Logic and Type Theory John L. Bell
Libristo-code: 38621442
Uitgeverij Cambridge University Press, maart 2022
The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type...
? points 64 b
26.23 €
In extern magazijn Wordt binnen 14-21 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

TOP
Type Theory and Formal Proof Rob Nederpelt / Boek Gebonden (harde band)
common.buy 99.38 €
Simple Type Theory William Farmer / Boek Gebonden (harde band)
common.buy 80.41 €
Dive Into Systems Suzanne J. Matthews / Boek Gebonden (paperback)
common.buy 55.29 €
TOP
Rozličné poznámky Ludwig Wittgenstein / Boek Gebonden (paperback)
common.buy 8.87 €
Cose belle dal mondo per non pensare che va tutto male Camilla Soldati / Boek Gebonden (harde band)
common.buy 19.36 €
ECO MultiGO Fire - Multikorbička s hasičem - auto s Igráčkem Spel/speelgoed Speelgoed
common.buy 12.60 €
Der logische Aufbau der Welt Rudolf Carnap / Boek Gebonden (paperback)
common.buy 20.47 €
3D Tennis 2 in 1 Taktikboard und Trainingsbuch Theo Von Taane / Boek Gebonden (paperback)
common.buy 5.64 €
Čínština konverzace / Boek Gebonden (paperback)
common.buy 11.90 €
Filosofická zkoumání Ludwig Wittgenstein / Boek Gebonden (paperback)
common.buy 9.27 €
Ziemlich beste Schwestern - Quatsch mit Soße (Ziemlich beste Schwestern 1) Sarah Welk / Boek Gebonden (harde band)
common.buy 8.77 €
Medicina Energetica = Energy Medicine DONNA EDEN / Boek Gebonden (paperback)
common.buy 17.85 €

The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type theory.

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 Higher-Order Logic and Type Theory
Auteur John L. Bell
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2022
Aantal pagina's 75
EAN 9781108986908
ISBN 1108986900
Libristo-code 38621442
Uitgeverij Cambridge University Press
Gewicht 142
Afmetingen 228 x 152 x 8

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Verzamelingenleer
Filosofie en religie > Filosofie > Onderwerpen in de filosofie > Filosofie: logica
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

Foundations of Mathematics Kenneth Kunen / Boek Gebonden (paperback)
common.buy 27.74 €
Set Theory Kenneth Kunen / Boek Gebonden (paperback)
common.buy 27.13 €
Set Theory An Introduction To Independence Proofs Kenneth Kunen / Boek Gebonden (harde band)
common.buy 76.68 €
Computable Calculus Oliver Aberth / Boek Gebonden (paperback)
common.buy 94.44 €
Business, Politics and International Relations Clemens WurmPatrick Salmon / Boek Gebonden (paperback)
common.buy 53.87 €
Completions of Categories Joachim Lambek / Boek Gebonden (paperback)
common.buy 25.92 €
Categorical Logic and Type Theory B. Jacobs / Boek Gebonden (paperback)
common.buy 136.82 €
Sketches of an Elephant: A Topos Theory Compendium Peter T Johnstone / Boek Gebonden (harde band)
common.buy 438.03 €
The Bull and Bear Diet Thomas Brandt / Boek Gebonden (paperback)
common.buy 14.82 €
Mastering UI Development with Unity Dr. Ashley Godbold / Boek Gebonden (paperback)
common.buy 42.88 €
Inked Jeb Blount / Boek Gebonden (harde band)
common.buy 22.29 €
Fce teachers book successful. 10 practice test Betsis Andrew / Boek Boek
common.buy 29.86 €
Pyrrhus Jacob Abbott / Boek Gebonden (paperback)
common.buy 7.66 €
End of the End LEIF KROGSTAD / Boek Gebonden (paperback)
common.buy 16.03 €
Benefits of and challenges to energy access in the 21st century: electricity United States Congress / Boek Gebonden (paperback)
common.buy 21.99 €
Chad's Playbook to Effective Fathering: Encouraging dads to change lives Chad D Bumgarner / Boek Gebonden (paperback)
common.buy 17.45 €
Blazed Trail Stories, and Stories of the Wild Life Stewart Edward White / Boek Gebonden (paperback)
common.buy 7.66 €
Distribution and Abundance of Nonnative Plant Species at Johnstown Flood National Memorial and Allegheny Portage Railroad National Historic Site Ephraim Zimmerman / Boek Gebonden (paperback)
common.buy 18.35 €
My Poetry Pallete Volume 2: My Reflections Rizwan Majid Sandhu / Boek Gebonden (paperback)
common.buy 8.57 €
Chronicles of a Boss: Your blueprint to creating a life of independence, freedom and wealth MS Latoya White / Boek Gebonden (paperback)
common.buy 21.08 €
Understanding Automotive Electronics William Ribbens / Boek Gebonden (paperback)
common.buy 119.97 €
Category Theory in Context Riehl / Boek Gebonden (paperback)
common.buy 26.73 €
Oxford Picture Dictionary Second Edition: Monolingual (American English) Dictionary Norma Shapiro / Boek Gebonden (paperback)
common.buy 45.30 €
Safe House L J Marston / Boek Gebonden (paperback)
common.buy 11.49 €

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?