Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic, Construction, Computation

Language EnglishEnglish
Book Hardback
Book Logic, Construction, Computation Ulrich Berger
Libristo code: 12566198
Publishers De Gruyter, July 2012
Over the last few decades the interest of logicians and mathematicians in constructive and computati... Full description
? points 573 b
83 350 Ft
In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Piráti z Ledového moře Frida Nilsson / Book Paperback
common.buy 4 411 Ft
Amerika, Američka Romek Hanzlík / Book binding.
common.buy 1 239 Ft
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 6 771 Ft
Piccolo bestiario degli animali d'acqua. Stranezze e curiosità dal mondo acquatico Paolo De Piazzi / Book Hardback
common.buy 15 414 Ft
Gold promoter and essence minerals Al -Masoudi / E-book Adobe ePub DRM
common.buy 6 973 Ft
Samlade Arbeten II Johan Ludvig Runeberg / Book Paperback
common.buy 27 408 Ft
C'era una volta... Il simbolismo nelle fiabe ovvero un percorso iniziatico attraverso il meraviglioso mondo dei racconti di fate Eugenio Lazzari / Book Paperback
common.buy 7 381 Ft
Motorlegenden - James Dean Siegfried Tesche / Book Hardback
common.buy 10 204 Ft
68. Bulletin Moravské galerie v Brně (2012) / Book Paperback
common.buy 7 367 Ft
Hazlo Crecer: Sistema definitivo para agrandar el pene. Alex Reyes / Book Paperback
common.buy 10 801 Ft
Sind Sie Bereit ACTIVITY CRUSADES / Book Paperback
common.buy 4 687 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Logic, Construction, Computation
Author Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger
Language English
Binding Book - Hardback
Date of issue 2012
Number of pages 542
EAN 9783110324532
ISBN 3110324539
Libristo code 12566198
Publishers De Gruyter
Weight 826
Dimensions 148 x 210 x 34

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

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 / Book Hardback
common.buy 11 297 Ft
New
Study on Flow and Hang-up Characteristics of Caved Ore and Rock Hao Sun / E-book Adobe ePub DRM
common.buy 65 576 Ft
New
Intimate Commentaries on Tadeusz Kantor's Theatre Michal Kobialka / E-book Adobe ePub DRM
common.buy 19 692 Ft
CI/CD Pipeline Using Jenkins Unleashed Pranoday Dingare / Book Paperback
common.buy 16 070 Ft
Apatosaurus James Kuether / Book Paperback
common.buy 4 030 Ft
The Diabolic Trilogy (Boxed Set): The Diabolic; The Empress; The Nemesis S. J. Kincaid / Book Hardback
common.buy 16 360 Ft
Granny Fixit and the Monkey Jane Cadwallader / Book Paperback
common.buy 4 599 Ft
Landbird Monitoring Protocol and Standard Operating Procedures for the Sonoran Desert Network Brian F Powell / Book Paperback
common.buy 7 716 Ft
Hamlet on the Couch James E Groves / Book Paperback
common.buy 23 291 Ft
To Hell in a Handcart Richard Littlejohn / Book Paperback
common.buy 5 908 Ft
Calvin's Doctrine of the State Mark J. Larson / Book Hardback
common.buy 12 095 Ft
Top
Against Democracy Jason Brennan / Book Paperback
common.buy 8 777 Ft
Fu-Manchu: Re-enter Fu-Manchu Sax Rohmer / Book Paperback
common.buy 3 943 Ft
Art of Cruelty Maggie Nelson / Book Paperback
common.buy 5 545 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?