Articles liés à Logic, Construction, Computation
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 « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 43,51
EUR 46,93 expédition depuis Etats-Unis vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Logic, Construction, Computation
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
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Logic, Construction, Computation
Edité par
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
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Logic, Construction, Computation
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 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
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
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 : 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
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
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic, Construction, Computation 3 Ontos Mathematical Logic, 3
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
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
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
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
Quantité disponible : Plus de 20 disponibles