Logic, Construction, Computation
N/A
ISBN 10: 3110324539 ISBN 13: 9783110324532
Edité par De Gruyter, 2012
Neuf(s)
Couverture rigide
Vendeur
Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 9 octobre 2009
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
2012. Hardcover. . . . . . Books ship from the US and Ireland. N° de réf. du vendeur V9783110324532
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 : Couverture rigide
Etat : New
Meilleurs résultats de recherche sur AbeBooks
Image d'archives
Logic Construction, Computation
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
hardcover. Etat : New. 1st. N° de réf. du vendeur 1742851
Acheter neuf
EUR 44,19
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Logic, Construction, Computation
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
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
Acheter neuf
EUR 192,03
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic, Construction, Computation
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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
Acheter neuf
EUR 220
Frais de port :
EUR 64,04
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logic, Construction, Computation
Edité par
De Gruyter, De Gruyter Jul 2012, 2012
ISBN 10 : 3110324539
ISBN 13 : 9783110324532
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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
Acheter neuf
EUR 220
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Logic, Construction, Computation
Edité par
De Gruyter, De Gruyter Jul 2012, 2012
ISBN 10 : 3110324539
ISBN 13 : 9783110324532
Neuf
Couverture rigide
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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
Acheter neuf
EUR 220
Frais de port :
EUR 60
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic, Construction, Computation (Ontos Mathematical Logic, 3)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783110324532_new
Acheter neuf
EUR 236,26
Frais de port :
EUR 13,56
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic, Construction, Computation
impression à la demandeVendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
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
Acheter neuf
EUR 236,95
Frais de port :
EUR 6,64
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic, Construction, Computation
impression à la demandeVendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
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
Acheter neuf
EUR 252,77
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic, Construction, Computation
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
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
Acheter neuf
EUR 337,96
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic, Construction, Computation
Edité par
De Gruyter, DE, 2012
ISBN 10 : 3110324539
ISBN 13 : 9783110324532
Neuf
Couverture rigide
Edition originale
Vendeur : Rarewaves USA United, OSWEGO, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
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
Acheter neuf
EUR 341,79
Frais de port :
EUR 43,33
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles