Logic, Construction, Computation

Berger, Ulrich (Editor)/ Diener, Hannes (Editor)/ Schuster, Peter (Editor)/ Seisenberger, Monika (Editor)

ISBN 10: 3110324539 ISBN 13: 9783110324532
Edité par De Gruyter, 2012
Neuf(s) Hardcover

Vendeur Revaluation Books, Exeter, Royaume-Uni Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 6 janvier 2003


A propos de cet article

Description :

542 pages. 8.27x5.83x9.00 inches. In Stock. N° de réf. du vendeur x-3110324539

Signaler cet article

Synopsis :

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Détails bibliographiques

Titre : Logic, Construction, Computation
Éditeur : De Gruyter
Date d'édition : 2012
Reliure : Hardcover
Etat : Brand New

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

Berger, Ulrich
Edité par De Gruyter, 2012
ISBN 10 : 3110324539 ISBN 13 : 9783110324532
Neuf Couverture rigide Edition originale

Vendeur : ISD LLC, Bristol, CT, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

hardcover. Etat : New. 1st. N° de réf. du vendeur 1742851

Contacter le vendeur

Acheter neuf

EUR 43,24
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Edité par De Gruyter, 2012
ISBN 10 : 3110324539 ISBN 13 : 9783110324532
Neuf Couverture rigide
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. In the last decades, mathematical logi. N° de réf. du vendeur 4457608

Contacter le vendeur

Acheter neuf

EUR 192,03
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Ulrich Berger (u. a.)
Edité par De Gruyter, 2012
ISBN 10 : 3110324539 ISBN 13 : 9783110324532
Neuf Couverture rigide
impression à la demande

Vendeur : preigu, Osnabrück, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : Neu. Logic, Construction, Computation | Ulrich Berger (u. a.) | Buch | 542 S. | Englisch | 2012 | De Gruyter | EAN 9783110324532 | Verantwortliche Person für die EU: Walter de Gruyter GmbH, De Gruyter GmbH, Genthiner Str. 13, 10785 Berlin, productsafety[at]degruyterbrill[dot]com | Anbieter: preigu Print on Demand. N° de réf. du vendeur 105338029

Contacter le vendeur

Acheter neuf

EUR 199,10
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Ulrich Berger
ISBN 10 : 3110324539 ISBN 13 : 9783110324532
Neuf Couverture rigide
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 544 pp. Englisch. N° de réf. du vendeur 9783110324532

Contacter le vendeur

Acheter neuf

EUR 220
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Ulrich Berger
Edité par De Gruyter, 2012
ISBN 10 : 3110324539 ISBN 13 : 9783110324532
Neuf Couverture rigide

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783110324532

Contacter le vendeur

Acheter neuf

EUR 220
Expédition à EUR 64,04
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Ulrich Berger
ISBN 10 : 3110324539 ISBN 13 : 9783110324532
Neuf Couverture rigide
impression à la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.Walter de Gruyter GmbH, Genthiner Strasse 13, 10785 Berlin 544 pp. Englisch. N° de réf. du vendeur 9783110324532

Contacter le vendeur

Acheter neuf

EUR 220
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par De Gruyter, 2012
ISBN 10 : 3110324539 ISBN 13 : 9783110324532
Neuf Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783110324532_new

Contacter le vendeur

Acheter neuf

EUR 230,21
Expédition à EUR 13,71
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Ulrich Berger
Edité par de Gruyter, 2012
ISBN 10 : 3110324539 ISBN 13 : 9783110324532
Neuf Couverture rigide
impression à la demande

Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

HRD. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L1-9783110324532

Contacter le vendeur

Acheter neuf

EUR 239,58
Expédition à EUR 6,72
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Ulrich Berger
Edité par de Gruyter, 2012
ISBN 10 : 3110324539 ISBN 13 : 9783110324532
Neuf Couverture rigide
impression à la demande

Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

HRD. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L1-9783110324532

Contacter le vendeur

Acheter neuf

EUR 249,80
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Monika Seisenberger
Edité par De Gruyter, DE, 2012
ISBN 10 : 3110324539 ISBN 13 : 9783110324532
Neuf Couverture rigide Edition originale

Vendeur : Rarewaves USA, OSWEGO, IL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardback. Etat : New. 1st. 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. N° de réf. du vendeur LU-9783110324532

Contacter le vendeur

Acheter neuf

EUR 299,34
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 1 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre