Items related to Logic, Construction, Computation (Ontos Mathematical...
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.
"synopsis" may belong to another edition of this title.
About the Author
Ulrich Berger is a reader in computer science at Swansea University.
Hannes Diener is a researcher in mathematics at the University of Siegen.
Peter Schuster is a lecturer in mathematical logic at the University of Leeds.
Monika Seisenberger is a lecturer in computer science at Swansea University.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Logic, Construction, Computation (Ontos Mathematical...
Stock Image
Logic Construction, Computation
Published by
De Gruyter, 2012
ISBN 10: 3110324539
ISBN 13: 9783110324532
New
Hardcover
First Edition
Seller: ISD LLC, Bristol, CT, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: New. 1st. Seller Inventory # 1742851
Quantity: 5 available
Stock Image
Logic, Construction, Computation
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9783110324532
Quantity: Over 20 available
Seller Image
Logic, Construction, Computation
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. In the last decades, mathematical logi. Seller Inventory # 4457608
Quantity: Over 20 available
Stock Image
Logic, Construction, Computation 3 Ontos Mathematical Logic, 3
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9783110324532
Quantity: Over 20 available
Seller Image
Logic, Construction, Computation
Published by
De Gruyter, De Gruyter Jul 2012, 2012
ISBN 10: 3110324539
ISBN 13: 9783110324532
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: 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. Seller Inventory # 9783110324532
Quantity: 2 available
Stock Image
Logic, Construction, Computation (Ontos Mathematical Logic, 3)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783110324532_new
Quantity: Over 20 available
Seller Image
Logic, Construction, Computation
Published by
De Gruyter, De Gruyter Jul 2012, 2012
ISBN 10: 3110324539
ISBN 13: 9783110324532
New
Hardcover
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: 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. Seller Inventory # 9783110324532
Quantity: 1 available
Seller Image
Logic, Construction, Computation
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: 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. Seller Inventory # 9783110324532
Quantity: 1 available
Seller Image
Logic, Construction, Computation
Published by
De Gruyter, DE, 2012
ISBN 10: 3110324539
ISBN 13: 9783110324532
New
Hardcover
First Edition
Seller: Rarewaves USA, OSWEGO, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardback. Condition: 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. Seller Inventory # LU-9783110324532
Quantity: Over 20 available
Seller Image
Logic, Construction, Computation
Published by
De Gruyter, DE, 2012
ISBN 10: 3110324539
ISBN 13: 9783110324532
New
Hardcover
First Edition
Seller: Rarewaves USA United, OSWEGO, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardback. Condition: 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. Seller Inventory # LU-9783110324532
Quantity: Over 20 available