Logic, Construction, Computation
Berger, Ulrich (EDT); Diener, Hannes (EDT); Schuster, Peter (EDT); Seisenberger, Monika (EDT)
ISBN 10: 3110324539 ISBN 13: 9783110324532
Editore: De Gruyter, 2012
Nuovi
Rilegato
Da
GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 6 aprile 2009
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Codice articolo 25315852-n
Riassunto:
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Logic, Construction, Computation
Casa editrice: De Gruyter
Data di pubblicazione: 2012
Legatura: Rilegato
Condizione: New
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Logic Construction, Computation
Da: ISD LLC, Bristol, CT, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. 1st. Codice articolo 1742851
Quantità: 5 disponibili
Immagini fornite dal venditore
Logic, Construction, Computation
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. In the last decades, mathematical logi. Codice articolo 4457608
Quantità: Più di 20 disponibili
Logic, Construction, Computation
Print on DemandDa: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: 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. Codice articolo 105338029
Quantità: 5 disponibili
Immagini fornite dal venditore
Logic, Construction, Computation
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: 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. Codice articolo 9783110324532
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic, Construction, Computation
Editore:
De Gruyter, De Gruyter Jul 2012, 2012
ISBN 10: 3110324539
ISBN 13: 9783110324532
Nuovo
Rilegato
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: 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. Codice articolo 9783110324532
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic, Construction, Computation
Editore:
De Gruyter, De Gruyter Jul 2012, 2012
ISBN 10: 3110324539
ISBN 13: 9783110324532
Nuovo
Rilegato
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: 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. Codice articolo 9783110324532
Quantità: 2 disponibili
Foto dell'editore
Logic, Construction, Computation (Ontos Mathematical Logic, 3)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783110324532_new
Quantità: Più di 20 disponibili
Foto dell'editore
Logic, Construction, Computation 3 Ontos Mathematical Logic, 3
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
HRD. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L1-9783110324532
Quantità: Più di 20 disponibili
Foto dell'editore
Logic, Construction, Computation
Print on DemandDa: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
HRD. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L1-9783110324532
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logic, Construction, Computation
Editore:
De Gruyter, DE, 2012
ISBN 10: 3110324539
ISBN 13: 9783110324532
Nuovo
Rilegato
Prima edizione
Da: Rarewaves USA, OSWEGO, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: 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. Codice articolo LU-9783110324532
Quantità: Più di 20 disponibili