LIBRISTO
LIBROAMANTO
verplicht
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

Gratis verzending vanaf 59,99 euro.

Logic, Construction, Computation

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Logic, Construction, Computation Ulrich Berger
Libristo-code: 12566198
Uitgeverij De Gruyter, juli 2012
Over the last few decades the interest of logicians and mathematicians in constructive and computati... Volledige beschrijving
? points 528 b
218.20
In extern magazijn Wordt binnen 10-13 dagen verzonden

Tot 30 dagen retourrecht


Klanten kochten ook


Piráti z Ledového moře Frida Nilsson / Boek Gebonden (paperback)
common.buy 12.02
Amerika, Američka Romek Hanzlík / Boek binding.
common.buy 3.53
Gold promoter and essence minerals Al -Masoudi / E-book Adobe ePub DRM
common.buy 19.81
Samlade Arbeten II Johan Ludvig Runeberg / Boek Gebonden (paperback)
common.buy 71.07
Motorlegenden - James Dean Siegfried Tesche / Boek Gebonden (harde band)
common.buy 30.53
Hazlo Crecer: Sistema definitivo para agrandar el pene. Alex Reyes / Boek Gebonden (paperback)
common.buy 28.30
Sind Sie Bereit ACTIVITY CRUSADES / Boek Gebonden (paperback)
common.buy 12.12

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains. ctionals and domains.

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 Logic, Construction, Computation
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2012
Aantal pagina's 542
EAN 9783110324532
ISBN 3110324539
Libristo-code 12566198
Uitgeverij De Gruyter
Gewicht 826
Afmetingen 148 x 210 x 34
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


Alpha Bravo: The Alpha Spy #3 Tk Kennedy / Boek Gebonden (paperback)
common.buy 17.08
Nieuw
Intimate Commentaries on Tadeusz Kantor's Theatre Michal Kobialka / E-book Adobe ePub DRM
common.buy 59.65
CI/CD Pipeline Using Jenkins Unleashed Pranoday Dingare / Boek Gebonden (paperback)
common.buy 41.45
Apatosaurus James Kuether / Boek Gebonden (paperback)
common.buy 10.61
Architecture in Detail II BIZLEY / Boek Gebonden (harde band)
common.buy 307.08
Granny Fixit and the Monkey Jane Cadwallader / Boek Gebonden (paperback)
common.buy 12.93
Against Democracy Jason Brennan / Boek Gebonden (paperback)
common.buy 24.06
Hamlet on the Couch James E Groves / Boek Gebonden (paperback)
common.buy 61.67
To Hell in a Handcart Richard Littlejohn / Boek Gebonden (paperback)
common.buy 15.56
Calvin's Doctrine of the State Mark J. Larson / Boek Gebonden (harde band)
common.buy 31.13
Fu-Manchu: Re-enter Fu-Manchu Sax Rohmer / Boek Gebonden (paperback)
common.buy 10.10
Art of Cruelty Maggie Nelson / Boek Gebonden (paperback)
common.buy 14.25

Inloggen

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

 
verplicht
verplicht

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?