Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Logic, Construction, Computation

Limba englezăengleză
Carte Copertă tare
Carte Logic, Construction, Computation Ulrich Berger
Codul Libristo: 12566198
Editura De Gruyter, iulie 2012
Over the last few decades the interest of logicians and mathematicians in constructive and computati... Descrierea completă
? points 556 b
1 203.24 lei
În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Piráti z Ledového moře Frida Nilsson / Carte Carte broșată
common.buy 67.12 lei
Amerika, Američka Romek Hanzlík / Carte binding.
common.buy 18.38 lei
Resumen De: Amiga, Lavate Esa Cara: Deja De Creer Mentiras Sobre Quien Eres Para Que Te Conviertas En Quien Deberias Ser - Guia De Estudio Y Analisis Libreria Sapiens / E-book Adobe ePub DRM
common.buy 100.79 lei
Piccolo bestiario degli animali d'acqua. Stranezze e curiosità dal mondo acquatico Paolo De Piazzi / Carte Copertă tare
common.buy 222.06 lei
Gold promoter and essence minerals Al -Masoudi / E-book Adobe ePub DRM
common.buy 103.91 lei
Samlade Arbeten II Johan Ludvig Runeberg / Carte Carte broșată
common.buy 394.25 lei
C'era una volta... Il simbolismo nelle fiabe ovvero un percorso iniziatico attraverso il meraviglioso mondo dei racconti di fate Eugenio Lazzari / Carte Carte broșată
common.buy 109.73 lei
Motorlegenden - James Dean Siegfried Tesche / Carte Copertă tare
common.buy 151.71 lei
68. Bulletin Moravské galerie v Brně (2012) / Carte Carte broșată
common.buy 109.52 lei
Hazlo Crecer: Sistema definitivo para agrandar el pene. Alex Reyes / Carte Carte broșată
common.buy 155.97 lei
Sind Sie Bereit ACTIVITY CRUSADES / Carte Carte broșată
common.buy 67.33 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Logic, Construction, Computation
Autor Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger
Limba engleză
Legare Carte - Copertă tare
Data publicării 2012
Număr pagini 542
EAN 9783110324532
ISBN 3110324539
Codul Libristo 12566198
Editura De Gruyter
Greutatea 826
Dimensiuni 148 x 210 x 34

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Alpha Bravo: The Alpha Spy #3 Tk Kennedy / Carte Carte broșată
common.buy 94.14 lei
Nou
Study on Flow and Hang-up Characteristics of Caved Ore and Rock Hao Sun / E-book Adobe ePub DRM
common.buy 980.97 lei
Nou
Intimate Commentaries on Tadeusz Kantor's Theatre Michal Kobialka / E-book Adobe ePub DRM
common.buy 294.70 lei
CI/CD Pipeline Using Jenkins Unleashed Pranoday Dingare / Carte Carte broșată
common.buy 230.89 lei
Apatosaurus James Kuether / Carte Carte broșată
common.buy 58.39 lei
The Diabolic Trilogy (Boxed Set): The Diabolic; The Empress; The Nemesis S. J. Kincaid / Carte Copertă tare
common.buy 234.74 lei
Architecture in Detail II BIZLEY / Carte Copertă tare
common.buy 1 608.52 lei
Granny Fixit and the Monkey Jane Cadwallader / Carte Carte broșată
common.buy 68.37 lei
Short and Plain Principles of Linear Perspective, Adapted to Naval Architecture. Containing Rules to Draw Correctly the Forms of Ships in Every Possib A. COBIN / Carte Copertă tare
common.buy 163.35 lei
Landbird Monitoring Protocol and Standard Operating Procedures for the Sonoran Desert Network Brian F Powell / Carte Carte broșată
common.buy 111.39 lei
Top
Against Democracy Jason Brennan / Carte Carte broșată
common.buy 130.92 lei
Hamlet on the Couch James E Groves / Carte Carte broșată
common.buy 337.62 lei
To Hell in a Handcart Richard Littlejohn / Carte Carte broșată
common.buy 85.51 lei
Calvin's Doctrine of the State Mark J. Larson / Carte Copertă tare
common.buy 173.53 lei
Fu-Manchu: Re-enter Fu-Manchu Sax Rohmer / Carte Carte broșată
common.buy 52.78 lei
Art of Cruelty Maggie Nelson / Carte Carte broșată
common.buy 79.59 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?